#5616: TH type quotes cannot contain free type variables
-------------------------------+--------------------------------------------
Reporter: Lennart | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Template Haskell | Version: 7.2.1
Resolution: invalid | Keywords:
Testcase: | Blockedby:
Difficulty: | Os: Unknown/Multiple
Blocking: | Architecture: Unknown/Multiple
Failure: None/Unknown |
-------------------------------+--------------------------------------------
Changes (by simonpj):
* status: new => closed
* resolution: => invalid
Comment:
Template Haskell is lexically scoped! That's supposed to be one of its
main features! You can't have an unbound ''term'' variable either.
You can get dynamic binding using `mkName`, but not with the quotation
syntax, by design.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5616#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
