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 LAA19270 for caml-redist@pauillac.inria.fr; Sat, 13 May 2000 11:37:38 +0200 (MET DST) Resent-Message-Id: <200005130937.LAA19270@pauillac.inria.fr> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA12089 for ; Fri, 12 May 2000 19:30:53 +0200 (MET DST) Received: from csla.csl.sri.com (csla.csl.sri.com [192.12.33.2]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e4CHUmb05118 for ; Fri, 12 May 2000 19:30:51 +0200 (MET DST) Received: from cylinder.csl.sri.com (IDENT:filliatr@cylinder.csl.sri.com [130.107.15.112]) by csla.csl.sri.com (8.9.1/8.9.1) with ESMTP id KAA12328; Fri, 12 May 2000 10:30:41 -0700 (PDT) Received: (from filliatr@localhost) by cylinder.csl.sri.com (8.9.3/8.8.7) id KAA25696; Fri, 12 May 2000 10:30:40 -0700 X-Authentication-Warning: cylinder.csl.sri.com: filliatr set sender to filliatr@cylinder.csl.sri.com using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <14620.16320.749238.299042@cylinder.csl.sri.com> Date: Fri, 12 May 2000 10:30:40 -0700 (PDT) To: Amit Dubey Cc: caml-list@inria.fr Subject: Re: Suggestion: Print more error messages? In-Reply-To: <200005121701.NAA03522@hopper.math.uwaterloo.ca> References: <200005121701.NAA03522@hopper.math.uwaterloo.ca> X-Mailer: VM 6.62 under Emacs 20.4.1 Reply-To: filliatr@csl.sri.com (Jean-Christophe Filliatre) Resent-From: weis@pauillac.inria.fr Resent-Date: Sat, 13 May 2000 11:37:38 +0200 Resent-To: caml-redist@pauillac.inria.fr > 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