> I have a short question about error messages. I've notived that
> ocamlc will often quit after detecting the first error. I find it much
> more useful to get a number of errors (at least 3-6), even if some of
> them may be spurious. Is it possible to implement such behaviour?
You don't really need such a feature, since the ocaml compiler is very
fast. Thus, you can "recompile" and "next-error" very often, without
wasting time waiting for the compiler (With slow compilers, like JDK's
java compiler, you really need such a feature!) And thanks to the true
separate compilation of ocaml's modules, you only recompile few files
each time.
I agree that ocaml's native-code compiler may be quite slow sometimes,
but due to the consistency between the two compilers, you can developp
with the bytecode compiler, which is really fast, and then turn to
native-code when you are done with the development-phase and start the
test-phase.
However, I guess that there are also difficulties in finding more than
one error in a strongly typed language...
-- Jean-Christophe Filliatre Computer Science Laboratory Phone (650) 859-5173 SRI International FAX (650) 859-2844 333 Ravenswood Ave. email filliatr@csl.sri.com Menlo Park, CA 94025, USA web http://www.csl.sri.com/~filliatr
This archive was generated by hypermail 2b29 : Sat May 13 2000 - 11:41:18 MET DST