From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA27152; Tue, 30 Sep 2003 21:18:22 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA11383 for ; Tue, 30 Sep 2003 21:18:20 +0200 (MET DST) Received: from imo-d01.mx.aol.com (imo-d01.mx.aol.com [205.188.157.33]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h8UJIJH12970 for ; Tue, 30 Sep 2003 21:18:19 +0200 (MET DST) Received: from artboreb@netscape.net by imo-d01.mx.aol.com (mail_out_v36_r1.1.) id 8.1b7.7eff99b (16215); Tue, 30 Sep 2003 15:18:13 -0400 (EDT) Received: from netscape.net (mow-m13.webmail.aol.com [64.12.180.129]) by air-in01.mx.aol.com (v96.8) with ESMTP id MAILININ13-3f573f79d6cd182; Tue, 30 Sep 2003 15:17:33 -0400 Date: Tue, 30 Sep 2003 15:18:13 -0400 From: artboreb@netscape.net (Arturo Borquez) To: garrigue@kurims.kyoto-u.ac.jp (Jacques Garrigue) Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocaml 3.07 and optional arguments MIME-Version: 1.0 Message-ID: <24CC0396.359C27FF.00958B05@netscape.net> X-Mailer: Atlas Mailer 2.0 X-AOL-IP: 200.54.132.56 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 3.07:01 jacques:01 barichard:01 barichard:01 univ-angers:01 3.07:01 compil:01 compil:01 bug:01 bug:01 camlp:01 camlp:01 parentheses:01 jacques:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jacques Garrigue wrote: >> From: "Vincent Barichard" >> >> > I've just downloaded ocaml 3.07 and compil it. But when I try to compil old >> > programs, I encounter some problems with optional arguments in methods. >> [...] >> > Is there any changes with the use of optional arguments for methods ? >> >> I don't remember introducing any change at that level. > >After another bug report, it seems that a parsing bug went into camlp4 >just before the release :-( > > Camlp4 Parsing version 3.07 > ># fun (f : ?x:int -> bool -> float) -> f true;; >This expression has type bool but is here used with type ?x:int -> bool ># fun (f : ?x:int -> bool -> float) -> f;; >- : ((?x:int -> bool) -> float) -> (?x:int -> bool) -> float = > >This is apparently a priority problem. >A workaround is to explicitly add parentheses. > ># fun (f : ?x:int -> (bool -> float)) -> f true;; >- : (?x:int -> bool -> float) -> float = > >There is no fix for camlp4 itself yet. > > Jacques Garrigue > Hi, Is there a patch planned soon to solve this issue? Best regards -- Arturo Borquez __________________________________________________________________ McAfee VirusScan Online from the Netscape Network. Comprehensive protection for your entire computer. Get your free trial today! http://channels.netscape.com/ns/computing/mcafee/index.jsp?promo=393397 Get AOL Instant Messenger 5.1 free of charge. Download Now! http://aim.aol.com/aimnew/Aim/register.adp?promo=380455 ------------------- 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