Re: Quasi quoting

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.)