Quasi quoting

Max Bolingbroke wrote:
> ...
> In this proposal, you can then export "t" and "d" functions from
> Language.Haskell.TH with the type:
>> t :: String -> Type
> d :: String -> [Decl]
>> Which parse the provided string as Haskell. This allows existing any
> uses of Template Haskell to remain *unchanged* (as long as they
> imported the TH module :-). Otherwise rewrite them as:
>> [t|..|] ==> Language.Haskell.TH.t [|...|]
I'm concerned in both your proposals, that single-letter names like "t"
and "d" are common function parameters, thus possibly producing
- shadowing warnings for all such functions in modules that happen to use TH
- errors, I think, for some uses of TH inside such functions (either the
function parameters must be renamed, or the TH splice module-qualified)
-Isaac