On Mon, 2007-02-19 at 08:47 -0500, Fernando Alegre wrote:
> Hi,
> 
> I think this is a bug, but I'm not sure. I mistakenly defined type e using
> Haskell notation, and it was accepted. However, it shadowed the unit type.
> Can someone confirm whether this should be acceptable or not?
> 
> Thanks.
> 
>         Objective Caml version 3.09.2
> 
> # type e = ();;

What? That sure looks like a bug. () is a value of type unit ..
it isn't a type.

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net