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

["Mr. Herr" <misterherr@freenet.de>]

On 13.04.2016 23:30, Yann Hamdaoui wrote:
> Dear list,
>
> 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)
>
> However if I put the code in a file test.ml
>
> type t = A of {x : int}
> let a = A {x=5}
> let () = match a with A r -> print_int r.x
>
> and run
>
> %ocaml test.ml
> 5
>
> everything goes fine. Am I missing something ?
>
most recent version is beta2 AFAIK, this case is okay - protocol:


strobel@suse132-intel:~> ocamli
        OCaml version 4.03.0+beta2

# type t = A of int;;
type t = A of int
# type t' = B of {x : int};;
type t' = B of { x : int; }
#

/Str.