#10494: Representational equalities over AppTys are not hard failures -------------------------------------+------------------------------------- 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:"c772f57e128e04415949f91f299ec9bcc60c4caf/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="c772f57e128e04415949f91f299ec9bcc60c4caf" Fix #10494 Now representational AppTys are just IrredEvCans, as they should be. Test case: typecheck/should_compile/T10494 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10494#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler