diff options
| author | Kathy Gray | 2015-11-02 09:25:12 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-11-02 09:25:12 +0000 |
| commit | 623a962bfb9a9e1595459053e8be6748ca2277b3 (patch) | |
| tree | 8667234ff5de8e972a2f86b13ad8b63eb2df4074 /src | |
| parent | 1601f337e10871cc7468c4b7abc5e4570f8d4411 (diff) | |
Catch missing cumulative effect on setting local var
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/type_check.ml b/src/type_check.ml index 5bff7d3d..6b738c97 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -1388,9 +1388,9 @@ and check_lexp envs imp_param is_top (LEXP_aux(lexp,(l,annot))) (LEXP_aux(lexp,(l,(Base(([],t),External (Some i),cs_o,ef,pure_e,nob)))),u,false, Envmap.empty,External (Some i),[],nob,ef,ef) | Tapp("reg",[TA_typ u]),_ -> - (LEXP_aux(lexp,(l,(Base(([],t),Emp_set,cs_o,ef,pure_e,b)))),u,false,Envmap.empty,Emp_set,[],nob,ef,ef) + (LEXP_aux(lexp,(l,(Base(([],t),Emp_set,cs_o,ef,ef,b)))),u,false,Envmap.empty,Emp_set,[],nob,ef,ef) | Tapp("vector",_),false -> - (LEXP_aux(lexp,(l,(Base(([],t),tag,cs_o,pure_e,ef,b)))),t,true,Envmap.empty,Emp_set,[],nob,ef,ef) + (LEXP_aux(lexp,(l,(Base(([],t),tag,cs_o,ef,ef,b)))),t,true,Envmap.empty,Emp_set,[],nob,ef,ef) | (Tfn _ ,_) -> (match tag with | External _ | Spec | Emp_global -> |