Do implicit coercions on expliciit casts

1 files changed, 4 insertions, 3 deletions

diff --git a/src/type_check.ml b/src/type_check.ml
index 9d9b64fd..0d86d365 100644
--- a/src/type_check.ml
+++ b/src/type_check.ml
@@ -457,9 +457,10 @@ let rec check_exp envs expect_t (E_aux(e,(l,annot)) : tannot exp) : (tannot exp
       (e',t',t_env,cs',effect)
     | E_cast(typ,e) ->
       let t = typ_to_t typ in
-      let t',cs = type_consistent (Expr l) d_env t expect_t in
-      let (e',u,t_env,cs',ef) = check_exp envs t' e in
-      (e',t',t_env,cs@cs',ef)        
+      let (e',u,t_env,cs,ef) = check_exp envs (new_t ()) e in
+      let t',cs2,e' = type_coerce (Expr l) d_env u e' t in
+      let t',cs3,e'' = type_coerce (Expr l) d_env t e' expect_t in 
+      (e'',t',t_env,cs@cs2@cs3,ef)        
     | E_app(id,parms) -> 
       let i = id_to_string id in
       (match Envmap.apply t_env i with