Hello,

I am still playing with template-haskell...

I wonder, is there any reason why a quasiquoter cannot create haskell statements and declarations in addition to expressions and patterns? Or more generally create any legal Haskell syntax tree.

I.e Suppose I would like to create a quasiquoter for the C language (please, imagine that it could be useful).

I could write sth such as :

[$c|

int a = 6;
int b = 7;
int c = a +b;

struct S { int x; int y}
|]

It could be nice to generate the appropriate haskell code:

a = 6
b= 7
c= a + b
data S = S {  x::Int; y:Int}
etc

That would allow to really embed any kind of language in a more or less easy way into haskell, provided that code can be translated into legal haskell.
 
Is there anything that prevent these features.

Thank you

Regards

J-C