From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA18467 for caml-red; Thu, 21 Sep 2000 21:42:49 +0200 (MET DST) 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 VAA26811 for ; Thu, 21 Sep 2000 21:01:25 +0200 (MET DST) Received: from moutvdom00.kundenserver.de (moutvdom00.kundenserver.de [195.20.224.149]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e8LJ1On04676 for ; Thu, 21 Sep 2000 21:01:24 +0200 (MET DST) Received: from [195.20.224.208] (helo=mrvdom01.kundenserver.de) by moutvdom00.kundenserver.de with esmtp (Exim 2.12 #2) id 13cBb1-0005KA-00; Thu, 21 Sep 2000 21:01:23 +0200 Received: from p3e9c377c.dip0.t-ipconnect.de ([62.156.55.124] helo=ice.gerd-stolpmann.de) by mrvdom01.kundenserver.de with esmtp (Exim 2.12 #2) id 13cBaq-0002Kn-00; Thu, 21 Sep 2000 21:01:13 +0200 Received: from localhost (localhost [[UNIX: localhost]]) by ice.gerd-stolpmann.de (8.9.3/8.9.3) id VAA30626; Thu, 21 Sep 2000 21:01:05 +0200 From: Gerd Stolpmann Reply-To: gerd@gerd-stolpmann.de Organization: privat To: Remi VANICAT , caml-list@inria.fr Subject: Re: problem with optional arguments Date: Thu, 21 Sep 2000 20:59:29 +0200 X-Mailer: KMail [version 1.0.28] Content-Type: text/plain References: <39C8938F.8DFC8039@dia.uniroma3.it> In-Reply-To: MIME-Version: 1.0 Message-Id: <0009212101050J.09664@ice> Content-Transfer-Encoding: 8bit Sender: weis@pauillac.inria.fr On Wed, 20 Sep 2000, Remi VANICAT wrote: >then there is another problem : > >class test2 ?(a=0) () = > object > val a = abs a > method a = a > method strange x = new test2 ~a: x () > end > >don't work, but i don't see realy why (the message of error is : > >The expression "new test2" has type ?a:int -> unit -> test2 >but is used with type 'a -> unit -> 'b >) See bug # 151, http://caml.inria.fr/bin/caml-bugs/fixed?id=151;page=8;user=guest -- ---------------------------------------------------------------------------- Gerd Stolpmann Telefon: +49 6151 997705 (privat) Viktoriastr. 100 64293 Darmstadt EMail: gerd@gerd-stolpmann.de Germany ----------------------------------------------------------------------------