diff options
| author | Alasdair Armstrong | 2018-10-29 15:52:20 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-10-29 16:28:17 +0000 |
| commit | 546bd3e14957199cc1efc0810fb4a2c58ba23fde (patch) | |
| tree | 7c0f51b0dc349c4edcbd67f6d921018c886dec5f /src/pattern_completeness.ml | |
| parent | 29f69b03602552d3ca1a29713527d21f5790e28a (diff) | |
Pretty printer tweaks for ASL parser
No longer remove braces around singleton expressions, as this can
produce unreadably long lines in ASL parser output when assignments
are converted to lets.
Add brackets around as-patterns for type-variables
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions