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 PAA22567; Tue, 14 Oct 2003 15:17:16 +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 PAA01171 for ; Tue, 14 Oct 2003 15:17:15 +0200 (MET DST) Received: from p-mail1.rd.francetelecom.com (p-mail1.rd.francetelecom.com [195.101.245.15]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h9EDHE126865 for ; Tue, 14 Oct 2003 15:17:14 +0200 (MET DST) Received: from parmhs4.rd.francetelecom.fr ([10.193.117.63]) by parsmtp1.rd.francetelecom.com with Microsoft SMTPSVC(5.0.2195.6747); Tue, 14 Oct 2003 15:17:13 +0200 Received: from there ([10.193.6.110]) by parmhs4.rd.francetelecom.fr with Microsoft SMTPSVC(5.0.2195.6747); Tue, 14 Oct 2003 15:17:12 +0200 Content-Type: text/plain; charset="iso-8859-1" From: Guillaume =?iso-8859-1?q?Ch=E2telet?= To: caml-list@inria.fr Subject: [Caml-list] polymorphism and try Date: Tue, 14 Oct 2003 15:17:12 +0200 X-Mailer: KMail [version 1.3.2] MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Message-ID: X-OriginalArrivalTime: 14 Oct 2003 13:17:12.0659 (UTC) FILETIME=[7ACC4A30:01C39255] X-Loop: caml-list@inria.fr X-Spam: no; 0.00; guillaume:01 guillaume:01 val:01 val:01 int:01 polymorphic:01 let:04 let:04 array:04 array:04 raise:05 polymorphism:06 polymorphism:06 problem:07 fun:08 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I have a problem with polymorphism in a try: # let my_try f = try f with e -> raise e ;; val my_try : 'a -> 'a = # let my_id = my_try (fun x -> x) ;; - : '_a -> '_a = # let my_array_get = my_try Array.get;; val my_array_get : '_a array -> int -> '_a = etc .... Why my_id and my_array_get are not polymorphic like i whish to ? -- Guillaume Châtelet ------------------- 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