diff options
| author | Gabriel Kerneis | 2014-05-20 15:07:47 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-05-20 15:07:47 +0100 |
| commit | 5ad43e6a9ffd677c3ba1b381de00027f8c272e2c (patch) | |
| tree | ad8400bdd536bb0c4e3027619c9014bbd48c7aba /src/pretty_print.ml | |
| parent | 1c5d405883febc79ea3958a989221dad2e491d27 (diff) | |
Fix pattern-matching exhaustiveness
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 9f0382f5..e728e8a9 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -1146,6 +1146,7 @@ let doc_exp, doc_let = (* adding parens and loop for lower precedence *) | E_app (_, _)|E_vector_access (_, _)|E_vector_subrange (_, _, _) | E_cons (_, _)|E_field (_, _)|E_assign (_, _) + | E_if _ | E_for _ | E_let _ | E_app_infix (_, (* for every app_infix operator caught at a higher precedence, * we need to wrap around with parens *) |