#11362: T6137 doesn't pass with reversed uniques -------------------------------------+------------------------------------- Reporter: niteria | Owner: niteria Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Resolution: | Keywords: TypeInType Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: 4012 Related Tickets: #11371 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by niteria): * owner: goldfire => niteria * blocking: => 4012 * related: => #11371 Comment: This is a symptom of #11371. I just got this: {{{ ghc-stage2: panic! (the 'impossible' happened) (GHC version 8.1.20160121 for x86_64-unknown-linux): ASSERT failed! CallStack (from ImplicitParams): assertPprPanic, called at compiler/types/TyCoRep.hs:1868:61 in ghc:TyCoRep substTy, called at compiler/types/TyCoRep.hs:1799:23 in ghc:TyCoRep substTyWith, called at compiler/types/Type.hs:799:46 in ghc:Type in_scope InScope [aph :-> k1_aph] tenv [aph :-> k1_aph] cenv [] ty (k1_aph -> *) -> (k2_apj -> *) -> Sum k1_aph k2_apj -> * needInScope [apj :-> k2_apj] }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11362#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler