[Caml-list] Unary negation parsing

[Stanislav Artemkin <artemkin@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 686 bytes --]

Hi all,

I've just stumbled upon yet another question about unary negation parsing (
http://stackoverflow.com/questions/34044873/passing-negative-integer-to-a-function-in-ocaml
):

let f x = x + 1 in
f -1

is not valid in OCaml.

I'm just wondering why this issue is still not addressed in the parser? For
example, F# parses "f -1" as unary negation, but "f - 1" and "f-1" as
binary operator. It looks a bit tricky (as whitespace is taken into
account), but feels so natural when writing code.

Is there any reason we can't have the same in OCaml?

PS. I understand that it may break existing code, but it should be solvable
by a compiler option similar to -safe-string etc.

Thank you

[-- Attachment #2: Type: text/html, Size: 1047 bytes --]