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

Greg Buchholz greg at sleepingsquirrel.org
Thu May 12 17:55:59 EDT 2005


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 


More information about the Haskell-Cafe mailing list