Suggestion: Print more error messages?

From: Amit Dubey (adubey@hopper.math.uwaterloo.ca)
Date: Fri May 12 2000 - 19:01:01 MET DST

Next message: Pierre Weis: "Re: reference initialization"

Previous message: Georges MARIANO: "looking for "logic calculus" code"
Reply: Jean-Christophe Filliatre: "Re: Suggestion: Print more error messages?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

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?

Thanks,
Amit Dubey

Next message: Pierre Weis: "Re: reference initialization"
Previous message: Georges MARIANO: "looking for "logic calculus" code"
Reply: Jean-Christophe Filliatre: "Re: Suggestion: Print more error messages?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Fri May 12 2000 - 19:17:06 MET DST