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 TAA03646 for caml-redistribution; Wed, 4 Feb 1998 19:28:15 +0100 (MET) 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 QAA09846 for ; Tue, 3 Feb 1998 16:46:52 +0100 (MET) Received: from batman.labri.u-bordeaux.fr (batman.labri.u-bordeaux.fr [147.210.8.5]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id QAA02410 for ; Tue, 3 Feb 1998 16:46:51 +0100 (MET) Received: from scrasmeustache.labri.u-bordeaux.fr (scrasmeustache [147.210.8.85]) by batman.labri.u-bordeaux.fr (8.8.7/8.8.7) with ESMTP id QAA24525 for ; Tue, 3 Feb 1998 16:47:56 +0100 (MET) Received: (from casteran@localhost) by scrasmeustache.labri.u-bordeaux.fr (8.7.5/8.7.3) id QAA21882; Tue, 3 Feb 1998 16:46:22 +0100 (MET) Date: Tue, 3 Feb 1998 16:46:22 +0100 (MET) Message-Id: <199802031546.QAA21882@scrasmeustache.labri.u-bordeaux.fr> From: Pierre CASTERAN To: caml-list@inria.fr Subject: Weak types ? Sender: weis Hello, all. I suppose the following problem concerns "weak" types, but i don't see the reason (I have no assignment at all in this definitions !) let toto = let id x = x in id id;; (* val toto : '_a -> '_a = ^ ^ why not " 'a " ? *) toto 5;; (* ok *) toto (fun z -> z);; (* This expression has type 'a -> 'a but is here used with type int *) If i remember Xavier's works, the "weak" types were necessary for dealing with references, continuations/exceptions, and i/o streams,.... What's the problem with these gentle purely functional top-level definitions ? Pre Scriptum : I (still ) work with Objective Caml version 1.03 -- Pierre Casteran, LaBRI, Universite Bordeaux-I | 12 place Puy Paulin 351 Cours de la Liberation | 33000 Bordeaux F-33405 TALENCE Cedex | France France | (+ 33) 5 56 81 15 80 tel : (+ 33) 5 56 84 69 31 fax : (+ 33) 5 56 84 66 69 email: Pierre . Casteran @ labri . u-bordeaux . fr (but whithout white space) www: http://dept-info.labri.u-bordeaux.fr/~casteran "Combien de petites violences la verité et l'analyse subissent-elles quotidiennement dans le silence de nos pensées engourdies ?" [Serge Halimi, in "Les nouveaux chiens de garde" (Liber, ed.)]