#10056: Inconsistent precedence of ~ -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 (Parser) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: GHC rejects | Test Case: valid program | Blocking: Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Comment (by htebalaka): I was tempted to say precedence rules are the same on the type level. Prefix `Foo` should have higher precedence then any infix expression, and I ''thought'' that infix type operators took the same precedence as their value level versions, though when I tried to construct a quick example to illustrate in GHCi I didn't get that behaviour: {{{ type family a + b type instance a + b = a type family a * b type instance a * b = b :kind! Int + Bool * Char Int + Bool * Char :: * = Char :kind! Int + (Bool * Char) Int + (Bool * Char) :: * = Int }}} :/ -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10056#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler