Re: ergonomie du compilateur

Quercia (querciam@l-carnot1.ac-dijon.fr)
Mon, 20 Jan 1997 21:33:15 +0000

Date: Mon, 20 Jan 1997 21:33:15 +0000
From: Quercia <querciam@l-carnot1.ac-dijon.fr>
To: caml-list@inria.fr
Subject: Re: ergonomie du compilateur

> En effet, souvent une erreur de typage intervient =E0 une ligne donn=E9e =
> pas =E0 cause d'un probl=E8me =E0 cette ligne, mais =E0 cause d'un probl=E8=
> me =E0 une
> ligne ant=E9rieure. S'il est souvent assez facile de retrouver o=F9 a =E9=
> t=E9 typ=E9
> un terme, cela devient quelquefois difficile, notamment avec les fonction=
> r=E9cursives, 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=F9 il a inf=E9r=E9 les types q=
> ui lui
> posent probl=E8me?

Bonne idee ! En attendant, dans ce genre de situation, je place en
commentaire (ou je rajoute un failwith "") tous les cas sauf un pour
examiner le type de chaque cas.
Primaire mais efficace ...

> 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 i=
> the current line have been inferred. Often it's not too difficult to trac=
> 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?

Good idea ! Meanwhile I comment out (or add a failwith "") every case
but one to see the type of the remaining case. Crude but effective ...

-- 
Michel Quercia
Lycee Carnot  16 bd Thiers  21000 Dijon
e-mail = querciam@l-carnot1.ac-dijon.fr
cc = 101702.425@compuserve.com (LG. Vidiani)