Re: [GHC] #12057: TypeFamilyDependencies on Data.Type.Bool's `Not`

#12057: TypeFamilyDependencies on Data.Type.Bool's `Not` -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Iceland_jack Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 8.0.1 Resolution: | Keywords: TypeFamilies, | Injective, newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2268 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ryan Scott ): In [changeset:"37aeff631766eebf5820b980d614bef78960291a/ghc" 37aeff63/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="37aeff631766eebf5820b980d614bef78960291a" Added type family dependency to Data.Type.Bool.Not Summary: Signed-off-by: Baldur Blöndal Reviewers: goldfire, RyanGlScott, austin, bgamari, hvr Reviewed By: RyanGlScott, austin Subscribers: RyanGlScott, thomie Differential Revision: https://phabricator.haskell.org/D2268 GHC Trac Issues: #12057 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12057#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler