docon 2.06 triggers compiler bug
simons at cryp.to
Tue Dec 16 21:14:45 EST 2003
Donald Bruce Stewart writes:
> Conclusion: this program should go in the test suite!
Personally, I'd like to take it one step further: docon
should go into the standard library. :-)
Not only to test ghc, but because it's really good software.
IMHO, Haskell would benefit greatly from the algebraic class
model docon provides. Not to mention the sophisticated tools
for solving all kind of algebraic problems. Using docon, I
find my programs become almost indistinguishable from formal
correctness proofs of the algorithm. It would be nice if
this "look and feel" could be extended into general
programs, which are not math related, and docon adds a lot
of expressivity to the language to do just that.
More information about the Cvs-ghc