Quite :

# type drole = true of drole | false of drole*drole | HAHA;;
type drole = true of drole | false of drole * drole | HAHA
# false (false (true HAHA, HAHA), true (true (true (true HAHA))));;
- : drole = false (false (true HAHA, HAHA), true (true (true (true HAHA))))



On 25 January 2013 00:00, Eric Cooper <ecc@cmu.edu> wrote:

> On Thu, Jan 24, 2013 at 05:26:12PM -0500, Jacques Carette wrote:
> > Why is
> > > true ;;
> > parsed as Pexp_construct rather than Pexp_ident ?  [This is Ocaml 4.01].
>
> Perhaps to be consistent with
>     type bool = false | true
>
> --
> Eric Cooper             e c c @ c m u . e d u
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>