diff options
| author | Alasdair Armstrong | 2017-12-05 15:50:53 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-12-05 15:50:53 +0000 |
| commit | 7387aaa375859cd0fe090ba1df77972a7179e79f (patch) | |
| tree | 10c4b0711f707d53862f75882afe6ba0e9bd8619 /src/reporting_basic.ml | |
| parent | d9f2fa400731d007ed2874f37ff8d8a649b73a9d (diff) | |
Pretty printer now prints operator precedence correctly.
Also some simple rules to try to format if statements better based on
contents while pretty printing.
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions