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 RAA22930; Tue, 14 May 2002 17:27:22 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA22925 for caml-list@pauillac.inria.fr; Tue, 14 May 2002 17:27:21 +0200 (MET DST) 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 MAA14983 for ; Tue, 14 May 2002 12:32:51 +0200 (MET DST) Received: from julie.univ-savoie.fr (univax.univ-savoie.fr [193.48.120.32]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g4EAWp929097 for ; Tue, 14 May 2002 12:32:51 +0200 (MET DST) Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by julie.univ-savoie.fr (8.9.3/jtpda-5.3.3) with ESMTP id MAA72022 for ; Tue, 14 May 2002 12:32:49 +0200 (CEST) Received: from d85.lama.univ-savoie.fr (d85.lama.univ-savoie.fr [193.48.123.85]) by post.bourget.univ-savoie.fr (8.12.1/jtpda-5.4) with ESMTP id g4EAWj8H024523 for ; Tue, 14 May 2002 12:32:45 +0200 Subject: Re: [Caml-list] Turning off type-checking From: Christophe Raffalli To: caml-list@inria.fr In-Reply-To: References: Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: quoted-printable X-Mailer: Evolution/1.0.2-5mdk Date: 14 May 2002 12:33:00 +0200 Message-Id: <1021372380.20927.117.camel@d85.lama.univ-savoie.fr> Mime-Version: 1.0 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Le mar 14/05/2002 =E0 10:20, Alain Frisch a =E9crit : =20 > Mmm, I thought (misleaded by a teacher, of course) that the following > would exhibit exponential behavior of type-inference: >=20 > let f y z =3D (z y) y > let f y =3D f (f y) > let f y =3D f (f y) > let f y =3D f (f y) > let f y =3D f (f y) > let f y =3D f (f y) > (* ad libitum *) >=20 > It seems that what takes time is occurence checking (disabled > with -rectypes) and pretty-printing of types (because internally, there For pretty printing, why not printing types with sharing like val f : type 'b =3D 'a -> 'a in 'b -> 'b. For large type it can be easier to read (especially if you could choose the name of type variables): # let f x:'c =3D x;; val f : 'a -> 'a =3D Is very ennoying and should really be # let f x:'arg =3D x;; val f : 'arg -> 'arg =3D --=20 Christophe Raffalli Universit=E9 de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex t=E9l: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI ------------------- 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