diff options
| author | Brian Campbell | 2018-08-17 11:51:38 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-17 11:51:38 +0100 |
| commit | 38336f5cb1f10b375b9c3cc098f68bf83cdcf0eb (patch) | |
| tree | 9a9da0afb5c54e76d0d17e9c6c7d27ecfcce043f /src/rewriter.ml | |
| parent | 18900d3c0da37c4dc7079749f84517fb7456e551 (diff) | |
Extend guarded patterns rewriting to exception catching
Also fix nested matches and generic rewriting under E_throw.
Diffstat (limited to 'src/rewriter.ml')
| -rw-r--r-- | src/rewriter.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rewriter.ml b/src/rewriter.ml index 6d88730d..f1de2f47 100644 --- a/src/rewriter.ml +++ b/src/rewriter.ml @@ -354,6 +354,7 @@ let rewrite_exp rewriters (E_aux (exp,(l,annot)) as orig_exp) = | E_assign (lexp,exp) -> rewrap (E_assign(rewriters.rewrite_lexp rewriters lexp,rewrite exp)) | E_sizeof n -> rewrap (E_sizeof n) | E_exit e -> rewrap (E_exit (rewrite e)) + | E_throw e -> rewrap (E_throw (rewrite e)) | E_return e -> rewrap (E_return (rewrite e)) | E_assert(e1,e2) -> rewrap (E_assert(rewrite e1,rewrite e2)) | E_var (lexp, e1, e2) -> |