Quasi quoting

[Isaac Dupree]

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