From 39a8d25f4e2471347aec6b2f1f68f01dd04a1610 Mon Sep 17 00:00:00 2001 From: paulklint Date: Sun, 17 Sep 2023 00:29:40 +0200 Subject: [PATCH] Updated IGNORE_OVERLOADING_CHECKS for the benefit of the compiler Note: We do not know yet why this is necessary and this needs further exploration. --- src/main/java/io/usethesource/vallang/type/TypeStore.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/io/usethesource/vallang/type/TypeStore.java b/src/main/java/io/usethesource/vallang/type/TypeStore.java index 37366056..996d6040 100644 --- a/src/main/java/io/usethesource/vallang/type/TypeStore.java +++ b/src/main/java/io/usethesource/vallang/type/TypeStore.java @@ -55,7 +55,7 @@ public class TypeStore { * (they play a role in the Rascal bootstrap procedure) */ static private final java.util.List IGNORE_OVERLOADING_CHECKS = Arrays.asList( - new String[] {"AType", "Grammar", "RuntimeException"}); + new String[] {"AType", "Grammar", "RuntimeException", "ModuleStatus"}); /** * A type store that is initially empty and imports the given TypeStores.