#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 goldfire): Replying to [comment:3 bgamari]:
I am a bit confused; the cited example appears to compile for me with 7.8, 7.10.1, and 7.10.2. Perhaps this was introduced since 7.10 branched from master?
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. :) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10494#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler