diff options
| author | Brian Campbell | 2017-07-11 09:57:39 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-07-11 13:17:50 +0100 |
| commit | d466099ae48f528dc3018d28dd0fb5961935dd44 (patch) | |
| tree | f275f5533f82094129a3928ea1e7f06319f59c53 /src | |
| parent | 6e323bc2be0c15eb70fc71d6791881cf00c42184 (diff) | |
Fix missing vector append constraints in old type checker
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 73520825..fa64364d 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -1423,7 +1423,7 @@ let rec check_exp envs (imp_param:nexp option) (widen_num:bool) (widen_vec:bool) let (t,cs_c,ef_c,e') = type_coerce (Expr l) d_env Require false true b_env ti (E_aux(E_vector_append(v1',v2'),(l,simple_annot_efr ti sub_effects))) expect_t in - (e',t,t_env,cs_1@cs_2,nob,(union_effects ef_c sub_effects)) + (e',t,t_env,cs_1@cs_2@cs_c,nob,(union_effects ef_c sub_effects)) | E_list(es) -> let item_t = match expect_t_actual.t with | Tapp("list",[TA_typ i]) -> i |