Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
ergonomie du compilateur
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1997-02-03 (08:00)
From: Donald Syme <Donald.Syme@c...>
Subject: Re: ergonomie du compilateur
> > - There is no error recovery in the compiler. Before I start the
> > first compile I have at least 5 syntax errors in the file. In
> > order to find them I have to go through at least 5 edit-compile
> > cycles, which I find very annoying.
> My experience with ML compilers that attempt error recovery is that
> they usually get it wrong and report many spurious syntax errors after
> the first actual error, which is even more annoying than stopping at
> the first error. Perhaps that's because of the ML syntax, which
> has fewer obvious resynchronization points than, say, C syntax.

I've found the lack of error recovery (in Moscow ML) particularly tiresome 
when reporting mismatches between signatures and structures, and also
when multiple undefined identifiers exist.  Error recovery certainly
improves productivity in these cases, from my experience with NJSML.
I also think it helps with syntax, at least for the SML syntax.

Don Syme