#10056: Inconsistent precedence of ~ -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 (Parser) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #10059, #10431 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Iceland_jack): Replying to [comment:29 RyanGlScott]:
And as it turns out, `-XEqualityConstraints` has been proposed before. See #10431.
I'm compelled to ask whether there is more than one equality constraints in light of [https://youtu.be/hIZxTQP1ifo?t=2764 these] [https://www.reddit.com/r/haskell/comments/4w1jcr/using_typelevel_naturals_ov... comments] by Edward and if `EqualityConstraint` were more apt (unless `~~`, `~#`, `~R#`, `~P#`, `Coercible` count) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10056#comment:30 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler