vscode-extension/server/src/server.ts

@@ -13,8 +13,6 @@ import {
   CompletionItemKind,
   TextDocumentChangeEvent,
 } from 'vscode-languageserver/node'
-import { setGlobals } from '../../../src/parser/tokenizer'
-import { globals } from '../../../src/prelude'
 
 const connection = createConnection(ProposedFeatures.all)
 const documents = new TextDocuments(TextDocument)
@@ -63,7 +61,6 @@ function handleInitialize(): InitializeResult {
 
 function handleDocumentOpen(event: TextDocumentChangeEvent<TextDocument>) {
   const document = event.document
-  setGlobals(Object.keys(globals))
   const tree = parser.parse(document.getText())
   documentTrees.set(document.uri, tree)
 }
@@ -83,7 +80,6 @@ function handleDocumentChange(change: TextDocumentChangeEvent<TextDocument>) {
   const document = change.document
 
   // Parse and cache
-  setGlobals(Object.keys(globals))
   const tree = parser.parse(document.getText())
   documentTrees.set(document.uri, tree)