<!doctype html public "-//W3C//DTD W3 HTML//EN">
<html><head><style type="text/css"><!--
blockquote, dl, ul, ol, li { padding-top: 0 ; padding-bottom: 0 }
--></style><title>Re: [clean-list] instance Array {#}
a</title></head><body>
<div><br></div>
<div>Erik Zuurbier wrote:</div>
<div><br></div>
<blockquote type="cite" cite><font face="Arial" size="-1"
color="#000000">instance Array {#} a</font></blockquote>
<blockquote type="cite" cite> </blockquote>
<blockquote type="cite" cite><font face="Arial" size="-1">has
"StdArray:select ({#} a) should not be called" (and the
like) for all its member functions.</font></blockquote>
<blockquote type="cite" cite><font face="Arial" size="-1">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.</font></blockquote>
<blockquote type="cite" cite> </blockquote>
<blockquote type="cite" cite><font face="Arial" size="-1">Why not
leave out</font></blockquote>
<blockquote type="cite" cite><font face="Arial" size="-1">instance
Array {#} a</font></blockquote>
<blockquote type="cite" cite><font face="Arial"
size="-1">altogether?</font></blockquote>
<div><br></div>
<div>This instance is used by the compiler in dictionaries for Array a
e, so</div>
<div>it cannot be removed. The compiler already tries to prevent calls
to this</div>
<div>instance. This is possible because the Array class is handled in
a special way</div>
<div>by the compiler. So I don't expect that removing this instance
from the</div>
<div>definition module will make a difference.</div>
<div><br></div>
<div>Kind regards,</div>
<div><br></div>
<div>John van Groningen</div>
</body>
</html>