Quasi quoting

[Sebastian Fischer]

Dear Simon,

I want to generate data type declarations using quasi quotes and hence  
support the proposal to allow quasi quotation at declaration level.  
With respect to syntax, I'd prefer [|blah| ... |] over the current  
[$blah| ... |] and would also be fine with [blah| ... |].

What is the reason to restrict quasi quotation to top-level  
declarations rather than letting it also generate local declarations?

Sebastian


-- 
Underestimating the novelty of the future is a time-honored tradition.
(D.G.)