Erik Zuurbier wrote:

instance Array {#} a

has "StdArray:select ({#} a) should not be called" (and the like) for all its member functions. The consequence is that a possible compile-time error (which I definitely find in time) is turned into a runtime error, which may wait until production time to cause trouble.

Why not leave out
instance Array {#} a
altogether?

This instance is used by the compiler in dictionaries for Array a e, so
it cannot be removed. The compiler already tries to prevent calls to this
instance. This is possible because the Array class is handled in a special way
by the compiler. So I don't expect that removing this instance from the
definition module will make a difference.

Kind regards,

John van Groningen
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list

Reply via email to