Update calls from the plugin

informalsystems · Aug 16, 2023 · b0c0897 · b0c0897
1 parent a37f9b0
commit b0c0897
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/vscode/quint-vscode/server/src/definitions.ts b/vscode/quint-vscode/server/src/definitions.ts
@@ -26,13 +26,13 @@ export function findDefinition(
 
   // Find definition of name
   const def = table.get(id)
-  if (!def || !def.reference) {
+  if (!def) {
     return { nameId: id, name }
   }
 
   return {
     nameId: id,
     name,
-    definitionId: def?.reference,
+    definitionId: def.id,
   }
 }
diff --git a/vscode/quint-vscode/server/src/documentSymbols.ts b/vscode/quint-vscode/server/src/documentSymbols.ts
@@ -38,7 +38,7 @@ function symbolKind(def: QuintOpDef | QuintConst | QuintVar): SymbolKind {
  * Return the def symbols defined in a module
  */
 function getDefs(module: QuintModule, sourceMap: Map<bigint, Loc>): DocumentSymbol[] {
-  return module.defs.reduce((symbols, def) => {
+  return module.declarations.reduce((symbols, def) => {
     // skip certain kinds of defs
     if (
       def.kind === 'assume' ||

diff --git a/vscode/quint-vscode/server/src/hover.ts b/vscode/quint-vscode/server/src/hover.ts
@@ -11,7 +11,7 @@ import {
   findDefinitionWithId,
   findExpressionWithId,
   format,
-  prettyQuintDef,
+  prettyQuintDeclaration,
   prettyTypeScheme,
   qualifierToString,
 } from '@informalsystems/quint'
@@ -92,7 +92,7 @@ function inferredDataHover(
   }
 
   const text = def
-    ? format(lineLength, 0, prettyQuintDef(def, false, result))
+    ? format(lineLength, 0, prettyQuintDeclaration(def, false, result))
     : expressionToShow(expr!, parsedData.modules, link, document, loc, result)
 
   if (!text) {