feat(vscode): use default options NO_ERROR_HALT, HEADER_GUARD for lan…

…guage server compiles
ZQuestClassic · Aug 6, 2023 · a5a6483 · a5a6483
1 parent d5d3c1d
commit a5a6483
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vscode-extension/server/src/server.ts b/vscode-extension/server/src/server.ts
@@ -155,7 +155,7 @@ async function processScript(textDocument: TextDocument): Promise<void> {
 	const settings = await getDocumentSettings(textDocument.uri);
 	// The validator creates diagnostics for all uppercase words length 2 and more
 	const text = textDocument.getText();
-	let includeText = "";
+	let includeText = "#option NO_ERROR_HALT on\n#option HEADER_GUARD on\n";
 
 	if (!settings.installationFolder) {
 		connection.sendDiagnostics({ uri: textDocument.uri, diagnostics: [{