]> I have a problem with polymorphism in a try: # let my_try f = try f with e -> raise e ;; val my_try : 'a -> 'a = <fun> # let my_id = my_try (fun x -> x) ;; - : '_a -> '_a = <fun> # let my_array_get = my_try Array.get;; val my_array_get : '_a array -> int -> '_a = <fun> 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