diff options
| author | Thomas Bauereiss | 2017-08-24 16:35:37 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-08-24 16:35:37 +0100 |
| commit | 893df6c2ca7e1d51eb2e2d7c19ea0b2fca38eacb (patch) | |
| tree | 3fc1da45d03e3f1889ff40ef1df14d2e841aed28 /src/pretty_print.mli | |
| parent | 88b5ddfce1aecc9e7ebfae65ff9bf313e0bf43ea (diff) | |
Avoid re-typechecking after rewriting passes
Rewriting of sizeofs and constraints seems to lose or hide some information
that the typechecker needs
Diffstat (limited to 'src/pretty_print.mli')
0 files changed, 0 insertions, 0 deletions