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 PAA19724; Tue, 14 May 2002 15:50:09 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 PAA19720 for ; Tue, 14 May 2002 15:50:08 +0200 (MET DST) Received: from hirsch.in-berlin.de (hirsch.in-berlin.de [192.109.42.6]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g4EDo7n11791; Tue, 14 May 2002 15:50:07 +0200 (MET DST) Received: from hirsch.in-berlin.de (localhost [127.0.0.1]) by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with ESMTP id g4EDo5Fu025292 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NOT); Tue, 14 May 2002 15:50:05 +0200 Received: (from uucp@localhost) by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with UUCP id g4EDo5Od025290; Tue, 14 May 2002 15:50:05 +0200 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: caml-list@inria.fr Received: from localhost (oliver@localhost) by first.in-berlin.de (8.7.6/8.7.3) with SMTP id PAA00527; Tue, 14 May 2002 15:39:43 +0200 Date: Tue, 14 May 2002 15:39:43 +0200 (MET DST) From: Oliver Bandel To: Francois Pottier cc: caml-list@inria.fr Subject: Re: [Caml-list] Turning off type-checking In-Reply-To: <20020514091053.A8883@pauillac.inria.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, 14 May 2002, Francois Pottier wrote: [...] > O'Caml's type inference algorithm is sub-optimal for at least one > reason: it performs the occurs check at every unification step, > instead of delaying it until the current `let' binding is exited. Would it help to use the Lazy-module and rewrite some parts od the application that uses so much time, if written "unlazy"? BTW: When (in which kind of application) does the Lazy-module really helps increasing performance? Ciao, Oliver ------------------- 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