Version française
Home     About     Download     Resources     Contact us    
Browse thread
Suggestion: Print more error messages?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: John Max Skaller <skaller@m...>
Subject: Re: Suggestion: Print more error messages?
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