[Template-haskell] Re: Polymorphism + Quasiquoting + Untyped AST = problems

Alfonso Acosta alfonso.acosta at gmail.com
Wed Feb 20 02:25:01 EST 2008


On Wed, Feb 20, 2008 at 8:22 AM, Alfonso Acosta
<alfonso.acosta at gmail.com> wrote:
>  Maybe things would be different if TH's AST wasn't untyped (i.e. vExpr
>  :: String -> Q (Exp a)) I'm not sure if it is feasible, though.

I meant

vExp :: String -> Q (Exp (Vec a))

Sorry for the typo


More information about the template-haskell mailing list