From a7108d4744d972886845690df7f66edb3b5d48ec Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 2 Mar 2024 13:55:47 +0000
Subject: Add test for type-checking type param

---
 .../org/shedlang/compiler/typechecker/TypeChecker.java  | 17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
index ed658460..61e7eb9d 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
@@ -2119,18 +2119,25 @@ public class TypeChecker {
         return context.toResult(typed);
     }
 
+    static TypeParam typeCheckTypeLevelParam(
+        UntypedTypeLevelParamNode untyped,
+        Scope scope
+    ) {
+        return new TypeParam(
+            scope,
+            untyped.name()
+        );
+    }
+
+
     private static List<TypeParam> typeCheckTypeLevelParams(
         List<UntypedTypeLevelParamNode> typeLevelParamNodes,
         Scope scope
     ) {
         return typeLevelParamNodes.stream()
-            .map(typeLevelParamNode -> new TypeParam(
-                scope,
-                typeLevelParamNode.name()
-            ))
+            .map(typeLevelParamNode -> typeCheckTypeLevelParam(typeLevelParamNode, scope))
             .toList();
     }
-
     private static TypeCheckerResult<TypedExpressionNode> typeCheckUnitLiteral(
         UntypedUnitLiteralNode untyped,
         TypeCheckerContext context
-- 
cgit v1.2.3