Archives of the Caml mailing list > Message from Jacques Carette

Browse thread

Re: [Caml-list] Generalized Algebraic Datatypes

Dario Teixeira
- Jacques Le Normand
  - Sylvain Le Gall
- Jacques Le Normand
- Xavier Leroy
  - Dario Teixeira
- Stefan Monnier
  - bluestorm
    - Jacques Le Normand
      - Jacques Garrigue
        
        Jacques Carette
        
        Dario Teixeira
    - Wojciech Daniel Meyer
      - Sylvain Le Gall
        
        Lukasz Stafiniak
        
        Sylvain Le Gall
        
        Lukasz Stafiniak
  - Wojciech Daniel Meyer
  - Dario Teixeira

Date:	-- (:)
From:	Jacques Carette <carette@m...>
Subject:	Re: [Caml-list] Re: Generalized Algebraic Datatypes

On 30/10/2010 1:14 AM, Jacques Garrigue wrote:
> On 2010/10/30, at 8:01, Jacques Le Normand wrote:
>> Note that, as in Jacques's examples, the constructor function was not curryfied. (type t = A of bool * int) would generate a function (A : bool * int ->  t).
> Actually, curryfied constructors are not allowed, so this is not accepted.
> (Existential types are allowed, which may have confused the other Jacques)

I was not confused at all.

Jacques Carette

PS: ;-)