I think there is no difficulty in principle.

In the HsExpr you’ll see the constructors

                HsSpliceE

                HsQuasiQuoteE

The former is run by the type checker; thelatter by the renamer.

To fulfil your hope, we’d need to add a new constructor to HsDecls.SpliceDecl.  At the moment it just has

                SpliceDecl

and we’d add

                QuasiQuoteDecl

After that I think the rest would follow. If someone feels like taking it up, I’d be glad to help.  For a start, make a Trac feature request and dump this thread into it.

Meanwhile, I gather you are using quasi-quotes.  I’m interested to know about applications: what are you using it for?

Simon

From: template-haskell-bounces@haskell.org [mailto:template-haskell-bounces@haskell.org] On Behalf Of Andrea Vezzosi
Sent: 01 December 2008 08:15
To: template-haskell@haskell.org
Subject: [Template-haskell] QuasiQuoting for declarations

Currently quasiquoting is limited to patterns and expressions, are there any problems in extending it to declarations? we already have [d| ... |] and toplevel splices afterall.