[GHC] #14333: GHC doesn't use the fact that Coercible is symmetric
GHC
ghc-devs at haskell.org
Wed Oct 18 08:45:30 UTC 2017
#14333: GHC doesn't use the fact that Coercible is symmetric
-------------------------------------+-------------------------------------
Reporter: Iceland_jack | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 8.2.1
Resolution: | Keywords: TypeFamilies,
| Roles
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by simonpj):
> Ooh. I'm curious.
OK, take a look. Most of the patch is good regardless. If you disagree
with the payload of the change (matching either way round) it'd be one-
line change to take it out again.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14333#comment:11>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list