I really like the idea of the type class directives. Not just for their
ability to improve error messages, but they can also be used to perform
optimizations in jhc. They would also be useful for enforcing class
invarients, such as the class IsChar in Text.Printf in the fptools
libraries, which must only have a Char instance and no others.
John
--
John Meacham - ⑆repetae.net⑆john⑈
_______________________________________________
Haskell-prime mailing list
[email protected]
http://haskell.org/mailman/listinfo/haskell-prime
