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. Peter _______________________________________________ Cvs-ghc mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/cvs-ghc
