#6064: InstanceD declaration does not allow for explicit TyVarBndrs
------------------------------+---------------------------------------------
Reporter: goldfire | Owner: goldfire
Type: feature request | Status: new
Priority: normal | Component: Template Haskell
Version: 7.5 | Keywords: TemplateHaskell InstanceD
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Testcase:
Blockedby: | Blocking:
Related: #6081 |
------------------------------+---------------------------------------------
Changes (by goldfire):
* related: => #6081
Comment:
I have now come across a case in my code where I would more legitimately
like to use undeclared kind variables in an instance declaration. I have
made a bug report (#6081) to that effect. If that bug is resolved, then
this feature request should be dropped, as current capabilities in TH will
be sufficient for what I wish to express.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6064#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
