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 SAA04170; Wed, 28 Apr 2004 18:13:39 +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 SAA04145 for ; Wed, 28 Apr 2004 18:13:38 +0200 (MET DST) Received: from gatekeeper.elmer.external.excelhustler.com (gatekeeper.excelhustler.com [68.99.114.105]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i3SGDbjq003007 for ; Wed, 28 Apr 2004 18:13:37 +0200 Received: from chatterbox.elmer.internal.excelhustler.com (unknown [192.168.0.12]) (using TLSv1 with cipher EDH-RSA-DES-CBC3-SHA (168/168 bits)) (Client CN "chatterbox.elmer.internal.excelhustler.com", Issuer "excelhustler.com" (not verified)) by gatekeeper.elmer.external.excelhustler.com (Postfix) with ESMTP id F084BE0228; Wed, 28 Apr 2004 11:13:36 -0500 (CDT) Received: from localhost (localhost [127.0.0.1]) by chatterbox.elmer.internal.excelhustler.com (Postfix) with ESMTP id C039C5C007; Wed, 28 Apr 2004 11:13:36 -0500 (CDT) Received: from wile.internal.excelhustler.com (wile.internal.excelhustler.com [192.168.1.34]) by chatterbox.elmer.internal.excelhustler.com (Postfix) with ESMTP id A138C5C005; Wed, 28 Apr 2004 11:13:36 -0500 (CDT) Received: by wile.internal.excelhustler.com (Postfix, from userid 1000) id 74AB03404E; Wed, 28 Apr 2004 11:13:36 -0500 (CDT) Date: Wed, 28 Apr 2004 11:13:36 -0500 From: John Goerzen To: caml-list@inria.fr Subject: [Caml-list] Optional arguments in inherited methods Message-ID: <20040428161336.GA3286@excelhustler.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.5.1+cvs20040105i X-Scanned-By: clamscan at chatterbox.elmer.internal.excelhustler.com X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; compiler:01 subclass:02 string:03 string:03 arguments:03 inherited:04 hints:06 type:07 type:07 defined:07 explain:09 john:09 john:09 wish:89 seem:10 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, I have this defined in a base class: method private getdata sname oname = In my subclass, I wish to do this: method private getdata ?(raw=false) ?(idepth=10) ?extravars sname oname = The compiler does not seem to like this at all, though I am at a loss to explain why. Can someone help me out? The error I get is: The method getdata has type ?raw:'a -> ?idepth:'b -> ?extravars:'c -> 'd -> 'e -> 'f but is expected to have type string -> string -> string So even stranger is that it doesn't set a type for anything, even though it has enough information to figure out the type for everything. Hints? -- John ------------------- 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