In article 
<[EMAIL PROTECTED]
.com>,
 "Simon Peyton-Jones" <[EMAIL PROTECTED]> 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

_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to