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 NAA20268; Thu, 15 Jul 2004 13:54:37 +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 NAA20987 for ; Thu, 15 Jul 2004 13:54:36 +0200 (MET DST) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i6FBsZSH014555 for ; Thu, 15 Jul 2004 13:54:35 +0200 Received: from liafa1.liafa.jussieu.fr (liafa1.liafa.jussieu.fr [132.227.93.1]) by shiva.jussieu.fr (8.12.11/jtpda-5.4) with ESMTP id i6FBsFSu051064 for ; Thu, 15 Jul 2004 13:54:15 +0200 (CEST) X-Ids: 168 Received: from liafa0.liafa.jussieu.fr (liafa0.liafa.jussieu.fr [132.227.81.1]) by liafa1.liafa.jussieu.fr (8.12.2/jtpda-5.3.2) with ESMTP id i6FBsYmv008798 for ; Thu, 15 Jul 2004 13:54:34 +0200 (CEST) Received: from liafa0.liafa.jussieu.fr (localhost [127.0.0.1]) by liafa0.liafa.jussieu.fr (8.12.8/jtpda-5.4) with ESMTP id i6FBsYR8029474 for ; Thu, 15 Jul 2004 13:54:34 +0200 Received: (from durak@localhost) by liafa0.liafa.jussieu.fr (8.12.8/8.12.8/Submit) id i6FBsXvb029472 for caml-list@inria.fr; Thu, 15 Jul 2004 13:54:33 +0200 Date: Thu, 15 Jul 2004 13:54:33 +0200 From: Berke Durak To: caml-list@inria.fr Subject: [Caml-list] Optional and mandatory labels with the same name in the same function ? Message-ID: <20040715115433.GA29454@liafa.jussieu.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.4i X-Miltered: at concorde with ID 40F6707B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at shiva.jussieu.fr with ID 40F67067.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Antivirus: scanned by sophie at shiva.jussieu.fr X-Loop: caml-list@inria.fr X-Spam: no; 0.00; berke:01 durak:01 durak:01 val:01 berke:01 ocaml:01 int:01 labels:01 unit:03 let:04 jussieu:07 fun:08 function:09 shouldn't:10 actually:11 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Has the following any use, and if not, shouldn't Ocaml better give a warning ? # let f ?gogo ~gogo () = 33;; val f : ?gogo:'a -> gogo:'b -> unit -> int = (This actually happened in some LablGtk-using code with ?packing ~packing). -- Berke Durak ------------------- 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