The compiler would then (optionally?) run the tests as part of the compilation. This would bind the tests more tightly to the programme than is now possible.
Ooh! There's an interesting idea. I guess it's like a kind of 'assert' that get's optimized out at compile-time?
#g
------------ Graham Klyne For email: http://www.ninebynine.org/#Contact
_______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
