RE: Type variables within type quasiquotes

It's the latter I'm afraid.  Type quasi-quotes just aren't fully implemented.  You'll need to use the lower-level machinery.

Like other bits of the not-implemented-yet stuff, this is quite do-able, but there hasn't been a strong enough demand (yet!).

Simon

| -----Original Message-----
| From: [email protected] [mailto:[email protected]] On Behalf Of
| Alfonso Acosta
| Sent: 21 February 2007 01:15
| To: [email protected]
| Subject: [Template-haskell] Type variables within type quasiquotes
|
| Hi,
|
| Contrary to what's stated in GHC's 6.6 user's guide
| (http://www.haskell.org/ghc/docs/6.6/html/users_guide/template-haskell.html
| ) type quasiquotes seem to work just fine when type variables are not
| used (i.e. things such as [t| Bool |]).
|
| But unfortunately GHC complains when I make use of type variables
|
| [t| Maybe a |] leads to "Not in scope: type variable `a' "
|
| Am I doing something wrong or did I run into one of the reasons why
| the guide says that type quasi-quotes are not implemented?
|
| Thanks in advance,
|
| Alfonso Acosta
| _______________________________________________
| template-haskell mailing list
| [email protected]
| http://www.haskell.org/mailman/listinfo/template-haskell