From 69d904e54d413e58ee854de474fbd82d3e94a81e Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Thu, 19 Dec 2024 18:31:25 +0000
Subject: Remove this parameter from method type

---
 .../java/org/shedlang/compiler/typechecker/TypeChecker.java   | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(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 16728f8c..f525a809 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
@@ -1722,9 +1722,18 @@ public class TypeChecker {
 
                     typeCheckMethodStates.put(untypedMethodNode.name(), typeCheckFunctionState);
 
+                    var functionType = declareFunctionResult.value().type();
+                    // TODO: check first parameter type?
+                    var methodType = new FunctionType(
+                        functionType.typeLevelParams(),
+                        functionType.positionalParams().stream().skip(1).toList(),
+                        functionType.namedParams(),
+                        functionType.effect(),
+                        functionType.returnType()
+                    );
                     methodInfos.add(new MethodInfo(
                         untypedMethodNode.name(),
-                        declareFunctionResult.value().type()
+                        methodType
                     ));
                 }
 
-- 
cgit v1.2.3