On Wednesday 03 September 2003 2:19 pm, Simon Peyton-Jones wrote:
| > TH doesn't support type splices today; that's one of the things I'm | > actively working on. But I'm not sure if this is what you meant.
btw Something that would be very nice is if $ could be used to splice patterns and declarations as well as expressions so that I could write: foo :: String -> Q [Dec] foo x = [| \ $(pat x) -> $(var x) |] or bar :: Q Expr -> Q Dec -> Q [Dec] bar e binding = [| let $binding in $e |] These examples aren't that compelling but I've had to code round not being able to write code like this lots of times. -- Alastair ps This is quite independent of my request for type splices. The above makes it easier to write what you can already write whereas type splices extend the power of TH to let you write things that aren't possible at the moment.