emit InvalidTypeArity

ascandone · Sep 15, 2024 · 52086d2 · 52086d2
1 parent 13368fe
commit 52086d2
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/src/typecheck/analyse.test.ts b/src/typecheck/analyse.test.ts
@@ -733,7 +733,7 @@ describe("ADTs", () => {
     expect(a.errors[0]?.description).toBeInstanceOf(UnboundType);
   });
 
-  test.todo("checks arity in constructors", () => {
+  test("checks arity in constructors", () => {
     const a = new Analysis(
       "Main",
       `  
@@ -751,6 +751,7 @@ describe("ADTs", () => {
     const desc = a.errors[0]?.description as InvalidTypeArity;
     expect(desc.expected).toEqual(1);
     expect(desc.got).toEqual(2);
+    expect(desc.type).toEqual("T");
   });
 
   test("add types to the type pool", () => {

diff --git a/src/typecheck/analyse.ts b/src/typecheck/analyse.ts
@@ -2,6 +2,7 @@
 import {
   ErrorInfo,
   InvalidPipe,
+  InvalidTypeArity,
   OccursCheck,
   TraitNotSatified,
   TypeMismatch,
@@ -475,6 +476,17 @@ class TypeAstsHydration {
           return TVar.fresh().asType();
         }
 
+        if (resolved.declaration.params.length !== t.args.length) {
+          this.emitError({
+            description: new InvalidTypeArity(
+              resolved.declaration.name,
+              resolved.declaration.params.length,
+              t.args.length,
+            ),
+            range: t.range,
+          });
+        }
+
         return {
           type: "named",
           args: t.args.map((arg) =>