Archives of the Caml mailing list > Message from Richard Jones

Browse thread

empty type

Fernando Alegre
- skaller
  - Mathias Kende
    - Andrej Bauer
      - Fernando Alegre
      - Bruno De Fraine
- Richard Jones

Date:	-- (:)
From:	Richard Jones <rich@a...>
Subject:	Re: [Caml-list] empty type

On Mon, Feb 19, 2007 at 08:47:38AM -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?

It tripped us up before:

http://caml.inria.fr/pub/ml-archives/caml-list/2005/06/e1a4be2ebe9ced1cbdc06979a7e8ae17.en.html

Rich.

-- 
Richard Jones
Red Hat UK Limited