[GHC] #10494: Representational equalities over AppTys are not hard failures
GHC
ghc-devs at haskell.org
Tue Sep 8 20:21:24 UTC 2015
#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
More information about the ghc-tickets
mailing list