#10494: Representational equalities over AppTys are not hard failures -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: closed Priority: normal | Milestone: 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: -------------------------------------+------------------------------------- Comment (by crockeea): Replying to [comment:2 goldfire]:
Merge if convenient. Another real bug, but I doubt it's ruining anyone's day.
This is ruining my day, see #10428. Replying to [comment:5 goldfire]:
Quite possible. I guess I didn't test in 7.10. And, in any case, you've simply decided that it's not convenient to merge the change. :)
So what's the status of this fix? It appears that the example in this ticket may be moot, but apparently the fix affects #10428, which *is* present in 7.10.1. Did the patch make 7.10.2? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10494#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler