#11716: Make TypeInType stress test work -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.1 Resolution: | Keywords: TypeInType Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"3fe87aa00ac05f1abea22ea58d51ecc1e3073d19/ghc" 3fe87aa0/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="3fe87aa00ac05f1abea22ea58d51ecc1e3073d19" Fix #11716. There were several smallish bugs here: - We had too small an InScopeSet when rejigging GADT return types. - When adding the extra_tvs with a datatype kind signature, we were sometimes changing Uniques of an explicitly bound kind var. - Using coercionKind in the flattener got the wrong visibility for a binder. Now we just zonk to get what we need. Test case: dependent/should_compile/RaeJobTalk }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11716#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler