Template Haskell question

Ashley Yakeley ashley@semantic.org
Sat, 12 Jul 2003 04:18:43 -0700

In article 
 "Simon Peyton-Jones" <simonpj@microsoft.com> wrote:

> Yes, sorry, as Ian says, type splices just aren't implemented at the
> moment.  The error message is uninformative.  
> This is useful info though -- someone wants type splices!

Ah, but what I really want is to be able to splice in several types that 
are all connected in the context.

     (C1 a b,C2 b c) => $(foo [t|a|] [t|b|] [t|c|])

Right now I'm using m4, the textual preprocessor.

Ashley Yakeley, Seattle WA