From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id E9742BB81 for ; Sat, 25 Feb 2006 18:41:09 +0100 (CET) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k1PHf9u9014731 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sat, 25 Feb 2006 18:41:09 +0100 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.13.5/jtpda-5.4) with ESMTP id k1PHZcqi029058 for ; Sat, 25 Feb 2006 18:35:40 +0100 (CET) X-Ids: 164 Received: from darmstadtium.pps.jussieu.fr (darmstadtium.pps.jussieu.fr [134.157.168.110]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with ESMTP id k1PHf374016831 for ; Sat, 25 Feb 2006 18:41:03 +0100 From: Vincent Balat Organization: Labo PPS - =?iso-8859-15?q?universit=E9_Paris?= 7 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] (int * int) <> int*int ? Date: Sat, 25 Feb 2006 18:42:37 +0100 User-Agent: KMail/1.9 References: <00c201c638b1$b2b96860$1f570b50@mshome.net> <20060224.111728.88698334.garrigue@math.nagoya-u.ac.jp> <43FF04F8.7050000@inria.fr> In-Reply-To: <43FF04F8.7050000@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200602251842.37109.balat@pps.jussieu.fr> X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-2.0.2 (shiva.jussieu.fr [134.157.0.164]); Sat, 25 Feb 2006 18:35:40 +0100 (CET) X-Antivirus: scanned by sophie at shiva.jussieu.fr X-Miltered: at concorde with ID 440096B5.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at shiva.jussieu.fr with ID 4400956A.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 syntax:01 syntax:01 camlp:01 camlp:01 parsing:01 toplevel:01 bug:01 constructor:01 pps:01 jussieu:01 cma:01 int:01 int:01 caml:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 To add more confusion on the debate, look at this example: ;-) Objective Caml version 3.09.1 # type t = A of int * int;; type t = A of int * int # A 1 2;; Syntax error # `A 1 2;; Syntax error # #load "camlp4o.cma";; Camlp4 Parsing version 3.09.1 # A 1 2;; Toplevel input: # A 1 2;; ^^^^^ Parse error: currified constructor # `A 1 2;; - : [> `A of int * int ] = `A (1, 2) (* !!!!! *) (This is _not_ the revised syntax, but a strange bug/feature of camlp4o ...)