#10495: Total inability to infer type for coerce -------------------------------------+------------------------------------- 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:"0de0b14691e0b0789988332ad5addc2a31b09ba6/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="0de0b14691e0b0789988332ad5addc2a31b09ba6" Fix #10495. This change means that the intricate reasoning in TcErrors around getting messages just right for nominal equalities is skipped for representational equalities. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10495#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler