diff options
| -rw-r--r-- | editors/vscode/package.json | 2 | ||||
| -rw-r--r-- | editors/vscode/src/extension.ts | 2 | ||||
| -rw-r--r-- | src/server/documents.odin | 9 |
3 files changed, 11 insertions, 2 deletions
diff --git a/editors/vscode/package.json b/editors/vscode/package.json index 7aa2f6c..6e32cc3 100644 --- a/editors/vscode/package.json +++ b/editors/vscode/package.json @@ -7,7 +7,7 @@ "type": "git", "url": "git://github.com/DanielGavin/ols.git" }, - "version": "0.1.36", + "version": "0.1.37", "engines": { "vscode": "^1.96.0" }, diff --git a/editors/vscode/src/extension.ts b/editors/vscode/src/extension.ts index da120c1..17fdcbd 100644 --- a/editors/vscode/src/extension.ts +++ b/editors/vscode/src/extension.ts @@ -29,7 +29,7 @@ const onDidChange: vscode.EventEmitter<void> = new vscode.EventEmitter<void>(); const JSON5 = require('json5') -const defaultConfig = JSON5.stringify( +const defaultConfig = JSON.stringify( { $schema: "https://raw.githubusercontent.com/DanielGavin/ols/master/misc/ols.schema.json", enable_document_symbols: true, diff --git a/src/server/documents.odin b/src/server/documents.odin index f165936..eca2938 100644 --- a/src/server/documents.odin +++ b/src/server/documents.odin @@ -312,6 +312,11 @@ document_refresh :: proc(document: ^Document, config: ^common.Config, writer: ^W return .ParseError } + if strings.contains(document.uri.uri, "base/builtin/builtin.odin") || + strings.contains(document.uri.uri, "base/intrinsics/intrinsics.odin") { + return .None + } + if writer != nil && len(errors) > 0 && !config.disable_parser_errors { document.diagnosed_errors = true @@ -397,6 +402,10 @@ parse_document :: proc(document: ^Document, config: ^common.Config) -> ([]Parser pkg.kind = .Normal pkg.fullpath = document.fullpath + if strings.contains(document.fullpath, "base/runtime") { + pkg.kind = .Runtime + } + document.ast = ast.File { fullpath = document.fullpath, src = string(document.text[:document.used_text]), |