From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jim.farrand@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: ****
X-Spam-Status: No, score=4.2 required=5.0 tests=DNS_FROM_RFC_POST,
	RCVD_IN_BL_SPAMCOP_NET,SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id D2F16BBAF
	for <caml-list@yquem.inria.fr>; Tue,  6 Oct 2009 15:14:37 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ao8BAHbfykrRVdvZkGdsb2JhbACROoh9PwEBAQEJCQwHEwOnPIE7jxwBAwMFhCUEgVM
X-IronPort-AV: E=Sophos;i="4.44,513,1249250400"; 
   d="scan'208";a="48052717"
Received: from mail-ew0-f217.google.com ([209.85.219.217])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Oct 2009 15:14:37 +0200
Received: by ewy17 with SMTP id 17so4295318ewy.15
        for <caml-list@yquem.inria.fr>; Tue, 06 Oct 2009 06:14:37 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from
         :user-agent:mime-version:to:cc:subject:references:in-reply-to
         :content-type:content-transfer-encoding;
        bh=tOr1p6RBBgYW4hxvMn6rcJt6xQE0YVOyFsKJK0THqC8=;
        b=FDwV4tA/nXOcwXy5S48BJxCfvFqkXvyVtefWkrMDXbVvR2Rx3AvEvHz5zyaNg0+Ey5
         ux6EQ/5jxj8wpqrYHh5uxQHW+cdlSrn7yjkEU5wCfAKe8+k/1EsunvLIyk+3T8ItCayQ
         QTFwhwbAmXU5GalnBK0wH9dtSlLxX/zSlnkl0=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        b=Y8nLRmOA5uVwGHJDVssG2rwIg4VxUPs1+9FaD81fyTz2EZl/zdj4te3gHhqdb//GCc
         HLrx/zs1IeJWeBwub58vagX0pK0lwsN3TozN4oqlbph2Gw/Q4mt1RxE9eGqdgyWj06D6
         nYBnZ7UlySP/DDaJARDRW//I8fDJiUeV7r3js=
Received: by 10.216.2.133 with SMTP id 5mr314577wef.194.1254834877128;
        Tue, 06 Oct 2009 06:14:37 -0700 (PDT)
Received: from ?192.168.168.212? (firewall1.xmltravel.net [192.189.157.60])
        by mx.google.com with ESMTPS id 5sm93429eyh.16.2009.10.06.06.14.36
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Tue, 06 Oct 2009 06:14:36 -0700 (PDT)
Message-ID: <4ACB42BC.1050603@gmail.com>
Date: Tue, 06 Oct 2009 14:14:36 +0100
From: Jim Farrand <jim.farrand@gmail.com>
User-Agent: Thunderbird 2.0.0.23 (X11/20090817)
MIME-Version: 1.0
To: David Allsopp <dra-news@metastack.com>
Cc: 'Chantal KELLER' <chantal.keller@wanadoo.fr>,
	'caml-list' <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] Constructors are not functions
References: <4ACB319A.1080608@wanadoo.fr> <003901ca4682$d47f8460$7d7e8d20$@metastack.com>
In-Reply-To: <003901ca4682$d47f8460$7d7e8d20$@metastack.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; constructors:01 simulate:01 ocaml:01 camlp:01 foo:01 syntax:01 2009:98 996:98 sml:01 unbound:01 wrote:01 caml-list:01 functions:01 int:01 behaviour:01 

David Allsopp wrote:

> I think it would be possible to simulate the SML behaviour in OCaml using camlp4 (if you assume that for [type foo = Bar of int] that future unbound references to [bar] are interpreted as [fun x -> bar x] instead of an error)

I believe this is already the behaviour under the revised syntax, so 
this is definitely possible.

Regards,
Jim

-- 
Jim Farrand
E-Mail/Jabber/Google-Talk/MSN: jim.farrand@gmail.com
Phone number changed Jun 2009: Now ends 996 (Ask for the rest, delete 
the old one!)