Finding & assembling class dictionaries from GHC plugins?

[Conal Elliott]

I'm working on a GHC plugin (for compiling Haskell to hardware), and I need
to synthesize Typeable (and maybe other) class dictionaries for a wide
range of types, including composite types (functions, pairs, lists, etc).
Can it be done, and how? I think I'm mainly looking for mechanics of
finding existing class instances (however they're defined) and assembling
them (for parametrized/composite dictionaries), rather than mechanisms
specific to Typeable.

Thanks, -- Conal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131104/eba66537/attachment.html>