It was my plan to allow this, so you could write f :: Int -> $(h x) but it turned out to be awkward to implement it, and I never did. So far anyway. Simon | -----Original Message----- | From: template-haskell-bounces@haskell.org [mailto:template-haskell-bounces@haskell.org] On Behalf | Of Frederik Eaton | Sent: 14 June 2006 18:47 | To: template-haskell@haskell.org | Subject: [Template-haskell] splices in type signatures | | Hello, | | Is it possible to have a TH splice in a type signature? It seems to | generate a parse error, but I thought there might be another syntax | that I'm not aware of. Thanks, | | Frederik | | -- | http://ofb.net/~frederik/ | _______________________________________________ | template-haskell mailing list | template-haskell@haskell.org | http://www.haskell.org/mailman/listinfo/template-haskell