Archives of the Caml mailing list > Message from David Brown

Browse thread

[Caml-list] Single-case union types as strong typedefs

Nathaniel Gray
- Jacques Garrigue
  - David Brown
    - skaller
      - Nathaniel Gray
  - Nathaniel Gray
- Damien Doligez
  - Jacques Carette
    - Damien Doligez
      - Jacques Carette
        
        skaller
        
        Jon Harrop

Date:	-- (:)
From:	David Brown <caml-list@d...>
Subject:	Re: [Caml-list] Single-case union types as strong typedefs

On Sat, Oct 23, 2004 at 12:31:39PM +0900, Jacques Garrigue wrote:

> The problem you describe only occurs when your single constructor has
> only one argument.
> Indeed, this would be nice to have the overhead compiled away.
> I don't remember whether there was a concrete reason not to.

Another reason is that is breaks compatibility with existing C bindings, or
at least potentially does.

Dave

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners