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 UAA09121; Fri, 16 Mar 2001 20:20:48 +0100 (MET) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA09066 for caml-list@pauillac.inria.fr; Fri, 16 Mar 2001 20:20:47 +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 KAA29522 for ; Fri, 16 Mar 2001 10:57:01 +0100 (MET) Received: from post.tepkom.ru (post.tepkom.ru [195.9.10.12]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f2G9uxn24511 for ; Fri, 16 Mar 2001 10:56:59 +0100 (MET) Received: (from msk@localhost) by post.tepkom.ru (8.9.3/8.9.3) id MAA01459 for caml-list@inria.fr.ANTIVIRUS; Fri, 16 Mar 2001 12:57:03 +0300 Received: from localhost (msk@localhost) by post.tepkom.ru (8.9.3/8.9.3) with ESMTP id MAA01446 for ; Fri, 16 Mar 2001 12:57:02 +0300 X-Authentication-Warning: post.tepkom.ru: msk owned process doing -bs Date: Fri, 16 Mar 2001 12:57:02 +0300 (MSK) From: Anton Moscal To: Caml list Subject: [Caml-list] Ocaml 3.01: bug or feature? Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello! When I try to compile the following program by Ocaml 3.01: let f ?(a=1) b = a + b let (+>) x f = f x let _ = 1 +> f I get following message: File "bug.ml", line 3, characters 13-14: This expression has type ?a:int -> int -> int but is here used with type 'a ->'b With Ocaml 3.00 all worked fine. Regards, Anton Moscal ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr