From f50aa967a935e4bb014d181f64fb9ecb9b338c0d Mon Sep 17 00:00:00 2001
From: Michael Lill <michael.lill@tokiwa.software>
Date: Fri, 4 Aug 2023 13:17:21 +0200
Subject: [PATCH] add option to not short circuit in the language server

---
 src/dev/flang/ast/Call.java           | 2 +-
 src/dev/flang/util/FuzionOptions.java | 5 +++++
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/dev/flang/ast/Call.java b/src/dev/flang/ast/Call.java
index ccc162c7d..901e12459 100644
--- 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
index 49bd4e631..bf2166739 100644
--- 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;
+  }
+
 
 }