From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA01411 for caml-redistribution; Mon, 20 Jan 1997 19:05:30 +0100 (MET) 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 KAA02865 for ; Wed, 15 Jan 1997 10:52:06 +0100 (MET) Received: from cri.ens-lyon.fr (cri.ens-lyon.fr [140.77.1.32]) by nez-perce.inria.fr (8.7.6/8.7.3) with ESMTP id KAA05001 for ; Wed, 15 Jan 1997 10:52:05 +0100 (MET) Received: from bellecour (bellecour [140.77.191.101]) by cri.ens-lyon.fr (8.8.4/8.8.1) with ESMTP id KAA29386 for ; Wed, 15 Jan 1997 10:52:04 +0100 (MET) Date: Wed, 15 Jan 1997 10:46:39 +0100 (MET) From: David Monniaux X-Sender: dmonniau@bellecour To: Caml-list Subject: ergonomie du compilateur Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=ISO-8859-1 Content-Transfer-Encoding: 8BIT Sender: weis -- VERSION FRANCAISE -- Bonjour à tous, je trouve un aspect pénible au compilateur Ocaml, ou d'ailleurs au toplevel, c'est son report d'erreur. En effet, il est quelquefois assez difficile de retrouver l'origine du problème. Si les messages du type "Parse error", bien que peu explicites, ne sont toute de même pas trop pénibles quand on a l'habitude (il suffit pratiquement de compter les parenthèses!), il n'en est pas de même pour les messages d'erreur de typage. En effet, souvent une erreur de typage intervient à une ligne donnée non pas à cause d'un problème à cette ligne, mais à cause d'un problème à une ligne antérieure. S'il est souvent assez facile de retrouver où a été typé un terme, cela devient quelquefois difficile, notamment avec les fonctions récursives, pour le type de la fonction. Ne pourrait-on pas faire que, sur demande, le compilateur, lorsqu'il rencontre une erreur de type, ressorte d'où il a inféré les types qui lui posent problème? -- ENGLISH VERSION -- Hello all, I find the Ocaml compiler, or the toplevel, sometimes quite tiresome with its error reporting. It is sometimes difficult to trace the origin of an error. While the messages of the "Parse error" kind, if not very explicit, are not too bothersome because with some experience one can fix that kind of errors quite easily (most often, just count the parenthesises!), this is not the case for typing errors. A typing problem in a line of code often happens not because this line is buggy, but because some previous line is, from which the types of terms in the current line have been inferred. Often it's not too difficult to trace where those inferences took place, but it's sometimes tedious, especially with recursive functions. Couldn't the Ocaml compiler be made to have, on request, more verbose messages on typing errors, including the trace of inferences of the terms to cause problems? -- David Monniaux, student at ENS-Lyon "Si l'informatique marchait, cela se saurait."