#7128: Panic "lookupVarEnv_NF" when using a functional dependency with a kind
variable
-------------------------------------------------+--------------------------
Reporter: goldfire | Owner:
Type: bug | Status: merge
Priority: normal | Milestone:
Component: Compiler | Version: 7.5
Keywords: PolyKinds FunctionalDependencies | Os:
Unknown/Multiple
Architecture: Unknown/Multiple | Failure: Compile-time
crash
Difficulty: Unknown | Testcase:
polykinds/T7128
Blockedby: | Blocking:
Related: |
-------------------------------------------------+--------------------------
Changes (by simonpj):
* status: new => merge
* difficulty: => Unknown
* testcase: => polykinds/T7128
Comment:
Good bug report. Yes it should work, and now it does.
Please merge this to 7.6
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7128#comment:2>
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
