From a467e016fb02acb3e6bdb38eefc72e77499e9c74 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Tue, 6 Oct 2015 17:31:52 +0100
Subject: Put type checking in one place

---
 src/main/java/org/zwobble/couscous/interpreter/Environment.java | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'src/main/java/org/zwobble/couscous/interpreter/Environment.java')

diff --git a/src/main/java/org/zwobble/couscous/interpreter/Environment.java b/src/main/java/org/zwobble/couscous/interpreter/Environment.java
index 0bbc808..d91664d 100644
--- a/src/main/java/org/zwobble/couscous/interpreter/Environment.java
+++ b/src/main/java/org/zwobble/couscous/interpreter/Environment.java
@@ -72,10 +72,7 @@ public class Environment {
 
     private void checkVariableType(int variableId, InterpreterValue value) {
         val variableType = stackFrame.get(variableId).getType();
-        val valueType = value.getType().getName();
-        if (!variableType.equals(valueType)) {
-            throw new UnexpectedValueType(variableType, valueType);
-        }
+        InterpreterTypes.checkIsInstance(variableType, value);
     }
     
     @AllArgsConstructor(staticName="of")
-- 
cgit v1.2.3