#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: | TypeFamilies, Injective Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #4259 | Differential Revisions: Phab:D202 -------------------------------------+------------------------------------- Comment (by Jan Stolarek <jan.stolarek@…>): In [changeset:"374457809de343f409fbeea0a885877947a133a2/ghc" 37445780/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="374457809de343f409fbeea0a885877947a133a2" Injective type families For details see #6018, Phab:D202 and the wiki page: https://ghc.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies This patch also wires-in Maybe data type and updates haddock submodule. Test Plan: ./validate Reviewers: simonpj, goldfire, austin, bgamari Subscribers: mpickering, bgamari, alanz, thomie, goldfire, simonmar, carter Differential Revision: https://phabricator.haskell.org/D202 GHC Trac Issues: #6018 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:111> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler