From f211e82e7c1373b534f070a52b705d61f547da53 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Thu, 3 Mar 2016 19:02:00 +0000
Subject: Add back constructor argument type check in interpreter

---
 .../couscous/tests/interpreter/EvaluatorTests.java   | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

(limited to 'src/test/java/org')

diff --git a/src/test/java/org/zwobble/couscous/tests/interpreter/EvaluatorTests.java b/src/test/java/org/zwobble/couscous/tests/interpreter/EvaluatorTests.java
index 33d5347..902febd 100644
--- a/src/test/java/org/zwobble/couscous/tests/interpreter/EvaluatorTests.java
+++ b/src/test/java/org/zwobble/couscous/tests/interpreter/EvaluatorTests.java
@@ -94,7 +94,25 @@ public class EvaluatorTests extends BackendEvalTests {
             new MethodSignature("substring", list(IntegerValue.REF, StringValue.REF), StringValue.REF),
             exception.getSignature());
     }
-    
+
+    @Test
+    public void errorIfConstructorArgumentIsWrongType() {
+        FormalArgumentNode argument = formalArg(var(ANY_ID, "x", IntegerValue.REF));
+        ClassNode classNode = ClassNode.builder("com.example.Example")
+            .constructor(constructor -> constructor
+                .argument(argument))
+            .build();
+
+        UnexpectedValueType exception = assertThrows(UnexpectedValueType.class,
+            () -> evalExpression(
+                list(classNode),
+                constructorCall(
+                    classNode.getName(),
+                    list(literal("")))));
+
+        assertEquals(new UnexpectedValueType(IntegerValue.REF, StringValue.REF), exception);
+    }
+
     @Test
     public void cannotGetValueOfUndeclaredField() {
         ClassNode classNode = ClassNode.builder("com.example.Example")
-- 
cgit v1.2.3