Re: [Caml-list] Inlined records don't work in toplevel

[Jeremy Yallop <yallop@gmail.com>]

Dear Yann,

On 13 April 2016 at 22:30, Yann Hamdaoui <yann.hamdaoui@gmail.com> wrote:
> I tried to test inlined records for type constructors with
> 4.03.0+trunk+flambda in the toplevel and the syntax seems not to be
> recognized :
>
> %ocaml
> OCaml version 4.03.0+dev18-2016-04-01
> [....]
> # type t = A of int;;
> type t = A of int
> # type t' = B of {x : int};;
> Error:Parse error: [str_item] or ";;" expected (in [top_phrase])
> (the A is underlined)

The error is coming from Camlp4.  Perhaps you have an .ocamlinit file
that loads Camlp4 into the toplevel.  It appears that Camlp4's parser,
at least in the version you have installed, doesn't support the
inlined record syntax.

> However if I put the code in a file test.ml

Running ocaml with a filename as argument doesn't run .ocamlinit
files, so Camlp4 is not loaded and the standard OCaml parser is used
instead.

Kind regards,

Jeremy.