Version française
Home     About     Download     Resources     Contact us    
Browse thread
empty type
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] empty type
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