On 7/30/05, David Roundy <[EMAIL PROTECTED]> wrote:
> Perhaps we should avoid using this sort of record selector? :( I really
> don't like the idea that we'd have to audit the entire code to find bugs
> like this, when the compiler *ought* to be able to do it for me.
This kind of record selector really circumvents the type system, and
ghc assumes you know what you're doing when you use it. If you want
the compiler to notice "errors", you'll have to create types for each
record, then build the selectors yourself. Then it'll whine when you
mess it up.
--
Taral <[EMAIL PROTECTED]>
"Computer science is no more about computers than astronomy is about
telescopes."
-- Edsger Dijkstra
_______________________________________________
darcs-devel mailing list
[email protected]
http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
