Re: [Haskell-cafe] resolving missing class instances @ compile time

Samuel Bronson wrote:

The former may not be hard, but the latter would require functions with typeclass constraints on their types to be annotated in the interface file with what typeclass methods they called. Does that sound hard yet?

Compared to writing the rest of the compiler? No. I've never written a Haskell compiler, but I'd say it sounds like it might be a tedious book-keeping problem though. Greg Buchholz