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

[Samuel Bronson]

On 12/05/05, Greg Buchholz <greg at sleepingsquirrel.org> 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.

Most of the rest of the compiler is already written, though ;-)