diff options
| -rw-r--r-- | typing/oprint.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/typing/oprint.ml b/typing/oprint.ml index 21ef16080..fa5f45870 100644 --- a/typing/oprint.ml +++ b/typing/oprint.ml @@ -32,9 +32,9 @@ let parenthesized_ident name = (List.mem name ["or"; "mod"; "land"; "lor"; "lxor"; "lsl"; "lsr"; "asr"]) || (match name.[0] with - 'a'..'z' | 'A'..'Z' | '\223'..'\246' | '\248'..'\255' | '_' -> - false - | _ -> true) + | 'l' when String.length name > 3 && String.sub name 0 3 = "let" -> true + | 'a'..'z' | 'A'..'Z' | '\223'..'\246' | '\248'..'\255' | '_' -> false + | _ -> true) let value_ident ppf name = if parenthesized_ident name then |