From e9eb339f96c3b82bcb6e908c7a86364c768c16f2 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Mon, 4 Jan 2016 17:36:17 +0000
Subject: Check type of this value in interpreter

---
 src/main/java/org/zwobble/couscous/interpreter/Evaluator.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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

diff --git a/src/main/java/org/zwobble/couscous/interpreter/Evaluator.java b/src/main/java/org/zwobble/couscous/interpreter/Evaluator.java
index 2122f01..548f731 100644
--- a/src/main/java/org/zwobble/couscous/interpreter/Evaluator.java
+++ b/src/main/java/org/zwobble/couscous/interpreter/Evaluator.java
@@ -46,7 +46,10 @@ public class Evaluator implements ExpressionNodeMapper<InterpreterValue> {
     
     @Override
     public InterpreterValue visit(ThisReferenceNode reference) {
-        return environment.getThis().get();
+        InterpreterValue thisValue = environment.getThis().get();
+        // TODO: add a test for this
+        InterpreterTypes.checkIsInstance(reference.getType(), thisValue);
+        return thisValue;
     }
     
     @Override
-- 
cgit v1.2.3