12 Jul
2003
12 Jul
'03
11:18 a.m.
In article <4B93206CA3C55D4F96A61C9B1DC80DE30C2B9A@EUR-MSG-03.europe.corp.microsoft .com>, "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