From 0d72e3906cccdb24dbf534781cbac96fafbd5ba8 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 9 Sep 2016 15:08:26 +0100
Subject: Fix bug in type checking cons that put the list first instead of the
 new element

---
 src/type_check.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/type_check.ml b/src/type_check.ml
index eed53609..452971ae 100644
--- a/src/type_check.ml
+++ b/src/type_check.ml
@@ -1397,7 +1397,7 @@ let rec check_exp envs (imp_param:nexp option) (widen_num:bool) (widen_vec:bool)
       let sub_effects = union_effects ef ef_i in
       let (t',cs',ef',e') = 
         type_coerce (Expr l) d_env Require false false b_env lt
-          (E_aux(E_cons(ls',i'),(l,simple_annot_efr lt sub_effects))) expect_t in
+          (E_aux(E_cons(i',ls'),(l,simple_annot_efr lt sub_effects))) expect_t in
       (e',t',t_env,cs@cs'@cs_i,nob,union_effects ef' sub_effects)
     | E_record(FES_aux(FES_Fexps(fexps,_),l')) -> 
       let u,_ = get_abbrev d_env expect_t in
-- 
cgit v1.2.3