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 TAA32570 for caml-red; Thu, 9 Nov 2000 19:02:16 +0100 (MET) 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 UAA26121 for ; Wed, 8 Nov 2000 20:16:40 +0100 (MET) Received: from smtp5-cm.mail.eni.net (smtp5a-cm.mail.eni.net [216.133.226.138]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eA8JGd529715 for ; Wed, 8 Nov 2000 20:16:39 +0100 (MET) Received: from checkerlap.d6.com ([216.233.204.162]) by smtp5-cm.mail.eni.net (8.9.3/8.9.3) with ESMTP id LAA06348; Wed, 8 Nov 2000 11:16:34 -0800 Message-Id: <4.3.2.7.2.20001108111347.00aee470@walt> X-Sender: def6@walt X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Wed, 08 Nov 2000 11:14:43 -0800 To: Sven LUTHER From: Chris Hecker Subject: Re: anonymous function + lable bug? Cc: caml-list@inria.fr In-Reply-To: <20001107144055.C30034@lambda.u-strasbg.fr> References: <4.3.2.7.2.20001105044616.00ababc0@shell16.ba.best.com> <4.3.2.7.2.20001105044616.00ababc0@shell16.ba.best.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: weis@pauillac.inria.fr >No, function has only one argument, and can do more kind of polymorphism than >fun which can take more than one argument as in : Is this actually true that function can be more polymorphic? What's an example? Chris