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