diff options
| author | Alasdair Armstrong | 2017-08-21 18:53:18 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-08-21 18:53:18 +0100 |
| commit | 4037cf3a148cc0bd1b244bdcf1b403d06ed1e944 (patch) | |
| tree | 61fcce6f16170210480c70f02b25521dcaea2b33 /src/reporting_basic.ml | |
| parent | 8f9f30172204d75ff36d4c491802f460472cfa85 (diff) | |
More work on quantifier elimination pass
Also added a rewriting pass that removes the cast annotations and
operator overloading declarations from the AST because they arn't
supported by the interpreter.
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions