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