#6068: Panic in GHCi when using functional dependencies and promoted kinds -------------------------------------+------------------------------------ Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.5 Resolution: | Keywords: PolyKinds Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: GHCi crash | Difficulty: Unknown Test Case: polykinds/T6068 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by simonpj): * cc: goldfire (added) Comment: Tanks for pointing out this crash. As the comments show (`Note [Kicking out Irreds]` in `TcInteract`), it raises an interesting point. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/6068#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler