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

[Lennart Augustsson]

Greg Buchholz wrote:
> 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.

It's quite possible, but also very tedious.

	-- Lennart