Check target tuple has the right number of elements

2 files changed, 31 insertions, 0 deletions

diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
index 435de6de..ebdb7161 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
@@ -874,6 +874,14 @@ public class TypeChecker {
                     );
                 }
 
+                if (targetTuple.elements().size() != tupleType.elements().size()) {
+                    throw new TargetTupleHasWrongElementCount(
+                        tupleType.elements().size(),
+                        targetTuple.elements().size(),
+                        targetTuple.source()
+                    );
+                }
+
                 var typedTargetElements = new ArrayList<TypedTargetNode>();
 
                 for (var elementIndex = 0; elementIndex < targetTuple.elements().size(); elementIndex++) {
diff --git a/src/main/java/org/shedlang/compiler/typechecker/errors/TargetTupleHasWrongElementCount.java b/src/main/java/org/shedlang/compiler/typechecker/errors/TargetTupleHasWrongElementCount.java
new file mode 100644
index 00000000..da2d6ba9
--- /dev/null
+++ b/src/main/java/org/shedlang/compiler/typechecker/errors/TargetTupleHasWrongElementCount.java
@@ -0,0 +1,23 @@
+package org.shedlang.compiler.typechecker.errors;
+
+import org.shedlang.compiler.errors.SourceError;
+import org.shedlang.compiler.sources.Source;
+
+public class TargetTupleHasWrongElementCount extends SourceError {
+    private final int expression;
+    private final int target;
+
+    public TargetTupleHasWrongElementCount(int expression, int target, Source source) {
+        super("Expression has " + expression + " elements, but target has " + target + " elements", source);
+        this.expression = expression;
+        this.target = target;
+    }
+
+    public int expression() {
+        return expression;
+    }
+
+    public int target() {
+        return target;
+    }
+}