Check handling of non-type-level values

2 files changed, 8 insertions, 1 deletions

diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
index a7fe03f..d73c245 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
@@ -642,7 +642,7 @@ public class TypeChecker {
 
         // TODO: handle not a type-level value
         if (!(type instanceof TypeLevelValueType(TypeLevelValue value))) {
-            throw new UnexpectedTypeError(new TypeSet.MetaType(), type, source);
+            throw new UnexpectedTypeError(new TypeSet.TypeLevelValue(), type, source);
         }
 
         return value;
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/types/TypeSet.java b/src/main/java/org/zwobble/hobgoblin/compiler/types/TypeSet.java
index c3896d9..3a64b85 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/types/TypeSet.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/types/TypeSet.java
@@ -23,4 +23,11 @@ public sealed interface TypeSet {
             return "type constructor";
         }
     }
+
+    record TypeLevelValue() implements TypeSet {
+        @Override
+        public String describe() {
+            return "type-level value";
+        }
+    }
 }