diff options
| author | Alasdair Armstrong | 2017-12-07 19:53:14 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-12-07 19:53:14 +0000 |
| commit | 47f1892406b5c10d06eb99af40d4523b93b2f254 (patch) | |
| tree | 01fc4efa482356a6bdaeec91d90210b954c54e6d /src/rewrites.ml | |
| parent | 13b74fe751508f214bfa5bde59553e25b01aa270 (diff) | |
More OCaml test cases
Improved handling of try/catch
Better handling of unprovable constraints when the environment contains
false
Diffstat (limited to 'src/rewrites.ml')
| -rw-r--r-- | src/rewrites.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rewrites.ml b/src/rewrites.ml index 738d0d20..424931c3 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -349,6 +349,7 @@ let rewrite_sizeof (Defs defs) = ; e_record_update = (fun ((e1,e1'),(fexp,fexp')) -> (E_record_update (e1,fexp), E_record_update (e1',fexp'))) ; e_field = (fun ((e1,e1'),id) -> (E_field (e1,id), E_field (e1',id))) ; e_case = (fun ((e1,e1'),pexps) -> let (pexps, pexps') = List.split pexps in (E_case (e1,pexps), E_case (e1',pexps'))) + ; e_try = (fun ((e1,e1'),pexps) -> let (pexps, pexps') = List.split pexps in (E_try (e1,pexps), E_try (e1',pexps'))) ; e_let = (fun ((lb,lb'),(e2,e2')) -> (E_let (lb,e2), E_let (lb',e2'))) ; e_assign = (fun ((lexp,lexp'),(e2,e2')) -> (E_assign (lexp,e2), E_assign (lexp',e2'))) ; e_sizeof = (fun nexp -> (E_sizeof nexp, E_sizeof nexp)) |