Merge pull request #3079 from tokiwa-software/redefinition_must_not_b…

…e_choice ast: fix check-failure if redefinition is a choice
tokiwa-software · May 17, 2024 · 4d44eec · 4d44eec
2 parents f21db8d + 19315f7
commit 4d44eec
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/dev/flang/ast/AstErrors.java b/src/dev/flang/ast/AstErrors.java
@@ -999,6 +999,12 @@ else if (existing.isChoice())
       {
         cannotRedefineChoice(f, existing);
       }
+    else if (f.isChoice())
+      {
+        cannotRedefine(f.pos(), f, existing,
+                       "Redefinition cannot be a choice",
+                       "To solve this, re-think what you want to do.  Maybe define a new choice type with a different name instead.");
+      }
     else if (existing.isConstructor() || f.isConstructor())
       {
         cannotRedefine(f.pos(), f, existing,