#9633: PolyKinds in 7.8.2 vs 7.8.3 -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Resolution: | Keywords: PolyKinds Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: GHC | Blocked By: rejects valid program | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by goldfire): I looked a little at this, and `Control.Monad.Primitive` isn't integral to the problem. Just replace `PrimMonad` with `Monad` and use a fresh type family for `PrimState`. Didn't figure out much beyond that, but I only tried for 5 minutes. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9633#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler