Version française
Home     About     Download     Resources     Contact us    
Browse thread
(int * int) <> int*int ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Nicolas Pouillard <nicolas.pouillard@i...>
Subject: Re: [Caml-list] (int * int) <> int*int ?
On 2/25/06, Vincent Balat <Vincent.Balat@pps.jussieu.fr> wrote:
> To add more confusion on the debate, look at this example:
> ;-)
>
>         Objective Caml version 3.09.1
>
> # type t = A of int * int;;
> type t = A of int * int
> # A 1 2;;
> Syntax error
> # `A 1 2;;
> Syntax error
> # #load "camlp4o.cma";;
>         Camlp4 Parsing version 3.09.1
>
> # A 1 2;;
> Toplevel input:
> # A 1 2;;
>   ^^^^^
> Parse error: currified constructor
> # `A 1 2;;
> - : [> `A of int * int ] = `A (1, 2)     (* !!!!! *)
>
>
> (This is _not_ the revised syntax, but a strange bug/feature of camlp4o ...)
>

Arg... One more, the bug is in ast2pt.ml where a transformation is
done for Pexp_construct and Ppat_construct but not for Pexp_variant
and Ppat_variant. It will be fixed (note: I'am working on a renovation
of camlp4 as an internship).

--
Nicolas Pouillard