diff options
| author | Alasdair Armstrong | 2017-07-19 16:21:15 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-19 16:22:52 +0100 |
| commit | 754686295309c1ce36ca9d367365474ed467ffa1 (patch) | |
| tree | f5c4620fb752042ed43e0df2c1b59eec815bf23f /src/initial_check.mli | |
| parent | a19a44469d07d5669db0691edd196b538d2cad17 (diff) | |
Better pretty printing for sail functions with no inline type annotations
Also added some additional helper functions in type_check_new.mli and changed real literals slightly
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions