Re: Polymorphism + Quasiquoting + Untyped AST = problems

"Alfonso Acosta" <[email protected]> Wed, 20 Feb 2008 08:25:01 +0100

Newsgroups	gmane.comp.lang.haskell.template
Message-ID	<[email protected]>

On Wed, Feb 20, 2008 at 8:22 AM, Alfonso Acosta
<[email protected]> 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