diff options
| author | Thomas Bauereiss | 2017-09-02 20:17:32 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-09-02 20:22:41 +0100 |
| commit | de506ed9f9c290796f159f2b5279589519c2a198 (patch) | |
| tree | 6d71a3012ca3500beec9639adef0333fe4293475 /src/reporting_basic.ml | |
| parent | 811bd830e2768a920d4be1473085905ac10a7627 (diff) | |
Various fixes for Hexapod
- Support tuples in lexps
- Rewrite trivial sizeofs
- Rewrite early returns more aggressively
- Support let bindings with ticked variables (binding both a type-level and
term-level variable at the same time)
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions