#10494: Representational equalities over AppTys are not hard failures -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: merge Priority: normal | Milestone: 7.10.3 Component: Compiler | Version: Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | typecheck/should_compile/T10494 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by goldfire): * status: closed => merge * milestone: => 7.10.3 Comment: Replying to [comment:6 crockeea]:
This is ruining my day, see #10428.
Hm. I'm a little confused here, then. Could this fix be merged for 7.10.3 (if that happens)? The original case in #10428 compiles with HEAD but fails with 7.10.2. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10494#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler