Re: Type Class Directives

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⑈