From f6b4cc449e4531b61d20f9c5544db4a8bedb7d1c Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Tue, 7 Jan 2014 14:57:25 +0100
Subject: Reject casts from **A to **B, even if B is a superclass of A.

---
 src/typing.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/typing.ml')

diff --git a/src/typing.ml b/src/typing.ml
index c5a44e3..c76c042 100644
--- a/src/typing.ml
+++ b/src/typing.ml
@@ -177,6 +177,7 @@ let rec subtype env a b = match a, b with
     | T_Int, T_Int -> true
     | T_Void, T_Void -> true
     | Typenull, TPoint(_) -> true
+    | TPoint(TPoint(TClass(_))), TPoint(TPoint(_)) -> false
     | TPoint(ka), TPoint(kb) -> subtype env ka kb
     | TClass(i), TClass(j) ->
         let c = get_c env i in
-- 
cgit v1.2.3