diff options
| author | Alasdair Armstrong | 2017-06-29 20:02:03 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-06-29 20:02:03 +0100 |
| commit | 6ca1722c9f804d79704fcc8681c9765b6040445b (patch) | |
| tree | 45e1524d0e9b154f6f4a881c41311637e0adec6f /src/parse_ast.ml | |
| parent | 4c712104db3a178fd8316a2bb36f2f241f249d2d (diff) | |
Added a large test case to the test-suite
Commented out some buggy re-sugaring logic from pretty_print_common
where it re-sugared vectors incorrectly
Fixed a bug where the type checker forgot to preserve type signatures
in top-level letbinds
Diffstat (limited to 'src/parse_ast.ml')
0 files changed, 0 insertions, 0 deletions