#10493: Inaccessible code might be accessible with newtypes and Coercible -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"ace8d4fcfd798b70c34e325c562878b0a8f5e2cb/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="ace8d4fcfd798b70c34e325c562878b0a8f5e2cb" Fix #10493. Now, a Coercible (T1 ...) (T2 ...) constraint is insoluble only when both T1 and T2 say "yes" to isDistinctTyCon. Several comments also updated in this patch. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10493#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler