
#11381: Put injective type families in a separate language extension -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: jstolarek Type: task | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc1 Resolution: | Keywords: TypeFamilies, | Injective Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: driver/T11381 Blocked By: | Blocking: Related Tickets: #6018 | Differential Rev(s): Phab:D1750 Wiki Page: | -------------------------------------+------------------------------------- Changes (by jstolarek): * testcase: => driver/T11381 * differential: => Phab:D1750 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11381#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler