Browse thread
Suggestion: Print more error messages?
-
Amit Dubey
-
Jean-Christophe Filliatre
- John Max Skaller
-
Jean-Christophe Filliatre
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2000-05-14 (21:23) |
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