| What is the reason to restrict quasi quotation to top-level | declarations rather than letting it also generate local declarations? Local declarations for quasi-quotation would be possible too: f x = v where [pads| ..blah..|] But it's a bit more complicated to implement. And a Q [Dec] could produce type and class declarations, which can't appear nested; that would be rejected, but it feels uncomfortable. So, reasonable suggestion, but I think I'll wait till we have a serious customer for this before taking it further. Simon | -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell- | users-bounces@haskell.org] On Behalf Of Sebastian Fischer | Sent: 02 February 2010 11:04 | To: Simon Peyton-Jones | Cc: glasgow-haskell-users@haskell.org; Kathleen Fisher; | mainland@eecs.harvard.edu | Subject: 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.) | | | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users