Merge pull request #1816 from michaellilltokiwa/feature_visitor_visit…

…_faulty feature visitor, option to continue/abort visit on error
tokiwa-software · Aug 4, 2023 · 86e2195 · 86e2195
2 parents 8b28373 + f50aa96
commit 86e2195
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;
+  }
+
 
 }