add option to not short circuit in the language server

tokiwa-software · Aug 4, 2023 · f50aa96 · f50aa96
1 parent 067c4e0
commit f50aa96
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/src/dev/flang/ast/Call.java b/src/dev/flang/ast/Call.java
@@ -2217,7 +2217,7 @@ public Call resolveTypes(Resolution res, AbstractFeature outer)
     if (POSTCONDITIONS) ensure
       (Errors.count() > 0 || result.typeIfKnown() != Types.t_ERROR);
 
-    return result.typeIfKnown() == Types.t_ERROR
+    return result.typeIfKnown() == Types.t_ERROR && !res._options.isLanguageServer()
       ? Call.ERROR // short circuit this call
       : result;
   }

diff --git a/src/dev/flang/util/FuzionOptions.java b/src/dev/flang/util/FuzionOptions.java
@@ -193,6 +193,11 @@ public Path fuzionHome()
     return _fuzionHome;
   }
 
+  public boolean isLanguageServer()
+  {
+    return false;
+  }
+
 
 }