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

[Greg Buchholz]

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