diff options
| author | Kathy Gray | 2016-09-09 15:08:26 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-09-09 15:08:26 +0100 |
| commit | 0d72e3906cccdb24dbf534781cbac96fafbd5ba8 (patch) | |
| tree | c5a18d85d92955e2a9e5ef3976e1e5255c2dc069 /src | |
| parent | 752ddc119002995e9c38a267dc690f5b8713f4b9 (diff) | |
Fix bug in type checking cons that put the list first instead of the new element
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |