From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <wojciech.meyer@googlemail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 363B4BC57
	for <caml-list@yquem.inria.fr>; Sun, 31 Oct 2010 15:16:06 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhABAHgXzUxKfVK2kGdsb2JhbAChQQgVAQEBAQkJDAcRAx+gD4txAQWOLgEEhUSKWIV0
X-IronPort-AV: E=Sophos;i="4.58,268,1286143200"; 
   d="scan'208";a="85814910"
Received: from mail-wy0-f182.google.com ([74.125.82.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 31 Oct 2010 15:16:05 +0100
Received: by wyb42 with SMTP id 42so4729304wyb.27
        for <caml-list@inria.fr>; Sun, 31 Oct 2010 07:16:05 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=domainkey-signature:received:received:from:to:cc:subject:references
         :date:in-reply-to:message-id:user-agent:mime-version:content-type;
        bh=yJS80IjLIvGDLqtbGyWe/JAWW2MufPGEnNfD/4nXUac=;
        b=WltOUaabmsBHwSkwE3MFn3kf2fRTZKLC0JeUjy2Z70yanOh4VyNkK/BGwEr25GWDZX
         E7VxtQlorNxh+8gOwowPQuimh6YFSktYaXefIU0SdPgtksprxho9HnpOffuWcSWMXpam
         SNTk2KS//gbaNGAF3i8MAsVBftZaLknIORcYw=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=gamma;
        h=from:to:cc:subject:references:date:in-reply-to:message-id
         :user-agent:mime-version:content-type;
        b=uEzKLQQ1C/qP1xJPKZuFcHNfgXUD7S2oU6TdPFjL7on8mgVLbD11hbk5PT1W1nT+9j
         oVoaeoqv16rZJj9fiXDqW0apuD/vrSjwj4v5P2dnv4aWgOptKfE3NVWRWMAhpR1u/nfD
         ioYK8nhKbsGR8k3zotMLEjTjWt6ibSay+eTHc=
Received: by 10.216.23.147 with SMTP id v19mr1556286wev.58.1288534565572;
        Sun, 31 Oct 2010 07:16:05 -0700 (PDT)
Received: from spec-desktop.specuu.com (host86-133-33-79.range86-133.btcentralplus.com [86.133.33.79])
        by mx.google.com with ESMTPS id p4sm3104411wej.28.2010.10.31.07.16.03
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Sun, 31 Oct 2010 07:16:04 -0700 (PDT)
From: Wojciech Daniel Meyer <wojciech.meyer@googlemail.com>
To: bluestorm <bluestorm.dylc@gmail.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Re: Generalized Algebraic Datatypes
References: <904846.44200.qm@web111513.mail.gq1.yahoo.com>
	<jwvbp6chfnw.fsf-monnier+gmane.comp.lang.caml.inria@gnu.org>
	<AANLkTin4stf7+DF4kkuvBCpKUCBh+kmB0LkbGvJnkbA9@mail.gmail.com>
Date: Sun, 31 Oct 2010 14:15:53 +0000
In-Reply-To: <AANLkTin4stf7+DF4kkuvBCpKUCBh+kmB0LkbGvJnkbA9@mail.gmail.com>
	(bluestorm's message of "Fri, 29 Oct 2010 23:37:31 +0200")
Message-ID: <87tyk2v46e.fsf@gmail.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50
MIME-Version: 1.0
Content-Type: text/plain
X-Spam: no; 0.00; datatypes:01 datatype:01 camlp:01 caml-list:01 constructor:01 constructor:01 writes:01 caml:02 caml:02 objective:02 algebraic:03 generalized:04 daniel:04 implicitly:05 extension:06 

bluestorm <bluestorm.dylc@gmail.com> writes:

> It was actually the case in Caml Light : each datatype constructor
> implicitly declared a constructor function with the same name. I
> don't exactly know why this feature was dropped in Objective Caml,
> but I think I remember (from a previous discussion) that people
> weren't sure it was worth the additional complexity.

Would that be not possible now with Camlp4 extension?

Wojciech