[m-dev.] diff: report errors for duplicate mode declarations

[Peter Schachte]

On Sun, 23 Nov 1997, Fergus Henderson wrote:

> Report an error for duplicate mode declarations.

It might be better to make it a warning, and just not add the duplicate mode
to the list of modes for the predicate.  Being redundant really doesn't seem
like an /error/, just something you might like to be warned about.  The
error is in the compiler blithely adding a mode it already has and then
complaining twice about any problem with that mode.


-Peter Schachte			| Politicians are the same all over. They
pets at cs.mu.OZ.AU		| promise to build a bridge even where there is
http://www.cs.mu.oz.au/~pets/	| no river. -- Nikita Krushchev 
PGP key available on request	|