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 HAA18705; Tue, 30 Sep 2003 07:29:59 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id HAA03286 for <caml-list@pauillac.inria.fr>; Tue, 30 Sep 2003 07:29:58 +0200 (MET DST)
Received: from huva.hittite.isp.9tel.net (huva.hittite.isp.9tel.net [62.62.156.28])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h8U5Tv514844
	for <caml-list@inria.fr>; Tue, 30 Sep 2003 07:29:57 +0200 (MET DST)
Received: from lanfeust (unknown [81.185.61.242])
	by huva.hittite.isp.9tel.net (Postfix) with SMTP
	id 6BB609BD15; Tue, 30 Sep 2003 07:29:48 +0200 (CEST)
MIME-Version: 1.0
Message-Id: <3F7914B9.000001.02528@lanfeust>
Date: Tue, 30 Sep 2003 07:29:29 +0200 (Paris, Madrid)
Content-Type: Text/Plain
X-Mailer: IncrediMail 2001 (2001177)
From: "Vincent Barichard" <Vincent.Barichard@info.univ-angers.fr>
References: <20030930120727Z.garrigue@kurims.kyoto-u.ac.jp>
X-FID: PLAINTXT-NONE-0000-0000-000000000000
X-FVER: 3.0
X-CNT: ;
Content-Transfer-Encoding: quoted-printable
X-Priority: 3
To: <garrigue@kurims.kyoto-u.ac.jp>
Cc: "CAML LIST" <caml-list@inria.fr>
Subject: Re: [Caml-list] ocaml 3.07 and optional arguments
X-Loop: caml-list@inria.fr
X-Spam: no; 0.00; barichard:01 barichard:01 univ-angers:01 caml-list:01 3.07:01 explicite:01 bug:01 jacques:01 univ-angers:01 caml-list:01 3.07:01 compil:01 compil:01 bug:01 camlp:01 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

 Thanks for your answer, the add of explicite parenthesis allows the
compilation to work fine. It's a bit long to add parenthesis in all the
sources, but I hope the next release will fix this bug.=0D
=0D
Vincent=0D
 =0D
-------Original Message-------=0D
 =0D
From: Jacques Garrigue=0D
Date: mardi 30 septembre 2003 05:07:27=0D
To: Vincent.Barichard@info.univ-angers.fr=0D
Cc: caml-list@inria.fr=0D
Subject: Re: [Caml-list] ocaml 3.07 and optional arguments=0D
 =0D
> From: "Vincent Barichard" <Vincent.Barichard@info.univ-angers.fr>=0D
>=0D
> > I've just downloaded ocaml 3.07 and compil it. But when I try to comp=
il
old=0D
> > programs, I encounter some problems with optional arguments in method=
s.=0D
> [...]=0D
> > Is there any changes with the use of optional arguments for methods ?=
=0D
>=0D
> I don't remember introducing any change at that level.=0D
 =0D
After another bug report, it seems that a parsing bug went into camlp4=0D
just before the release :-(=0D
 =0D
Camlp4 Parsing version 3.07=0D
 =0D
# fun (f : ?x:int -> bool -> float) -> f true;;=0D
This expression has type bool but is here used with type ?x:int -> bool=0D
# fun (f : ?x:int -> bool -> float) -> f;;=0D
- : ((?x:int -> bool) -> float) -> (?x:int -> bool) -> float =3D <fun>=0D
 =0D
This is apparently a priority problem.=0D
A workaround is to explicitly add parentheses.=0D
 =0D
# fun (f : ?x:int -> (bool -> float)) -> f true;;=0D
- : (?x:int -> bool -> float) -> float =3D <fun>=0D
 =0D
There is no fix for camlp4 itself yet.=0D
 =0D
Jacques Garrigue=0D
 =0D
=2E

-------------------
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