Re: [Caml-list] Ocaml parser reports strange syntax-error position.

[Romain Bardou <romain.bardou@inria.fr>]

Le 05/06/2013 11:49, Matej Kosik a écrit :
> Hi,
> 
> If I type this to the Ocaml toplevel:
> 
>   Printf "%d" 10;;
> 
> The actual problem is that instead of "Printf" I should have typed "Printf.printf".
> 
> However, the parser complains about literal "10".
> 
> Is this the expected behavior or a bug (in parser's error-reporting routines)?
> 

I guess it believes Printf here is not a module name (there is no dot)
but a constructor (it is a capitalized identifier). But the syntax for
constructors is either:
  A
  A x
  A (x1, ..., xn)
In other words, if A is a constructor, "A x y" is never a valid
expression. It could also be a type error ("A x" is not a function, it
cannot be applied) but apparently it is catched by the parser.

So I would say it is the expected behavior, but that it could be
improved, as all error messages.

-- 
Romain Bardou