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 XAA00562 for caml-redist@pauillac.inria.fr; Sun, 14 May 2000 23:23:33 +0200 (MET DST) Resent-Message-Id: <200005142123.XAA00562@pauillac.inria.fr> 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 QAA27021 for ; Sun, 14 May 2000 16:41:51 +0200 (MET DST) Received: from localhost.localdomain (brian-boitano162.zip.com.au [210.23.147.162]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e4EEfhv09001 for ; Sun, 14 May 2000 16:41:44 +0200 (MET DST) Received: from maxtal.com.au (IDENT:root@localhost [127.0.0.1]) by localhost.localdomain (8.9.3/8.8.7) with ESMTP id AAA24252; Mon, 15 May 2000 00:45:20 +1000 Sender: root@localhost.localdomain Message-ID: <391EBC00.BCFFE124@maxtal.com.au> Date: Mon, 15 May 2000 00:45:20 +1000 From: John Max Skaller X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: Jean-Christophe Filliatre CC: Amit Dubey , caml-list@inria.fr Subject: Re: Suggestion: Print more error messages? References: <200005121701.NAA03522@hopper.math.uwaterloo.ca> <14620.16320.749238.299042@cylinder.csl.sri.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Resent-From: weis@pauillac.inria.fr Resent-Date: Sun, 14 May 2000 23:23:33 +0200 Resent-To: caml-redist@pauillac.inria.fr Jean-Christophe Filliatre wrote: > I agree that ocaml's native-code compiler may be quite slow sometimes, I don't, and for once you may smile at my disagreement. I use the ocaml native code compiler (optimised by itself) exlusively, and I consider it lightning fast. On my Pentium 550E, I can compile 20 or some modules and interfaces in a few seconds. [It is ocamllex which is slow ... and has annoying size limitations. Can these be fixed? Something even as simple as a recognizer for UTF encoded ISO-10646 'letters' breaks it, due to the large tables that are generated. Does it perform character equivalencing (redundant column removal)?] -- John (Max) Skaller, mailto:skaller@maxtal.com.au 10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850 checkout Vyper http://Vyper.sourceforge.net download Interscript http://Interscript.sourceforge.net