#1727: Precedence and associativity rules ignored when mixing infix type and 
data
constructors in a single expression
--------------------------------+-------------------------------------------
  Reporter:  [EMAIL PROTECTED]     |          Owner:         
      Type:  bug                |         Status:  new    
  Priority:  normal             |      Milestone:         
 Component:  Compiler (Parser)  |        Version:  6.6.1  
  Severity:  minor              |       Keywords:         
Difficulty:  Unknown            |             Os:  Unknown
  Testcase:                     |   Architecture:  Unknown
--------------------------------+-------------------------------------------
The following code:

 {{{
 infixr 5 `Foo`
 infixr 6 `Bar`

 data a `Foo` b = a `FOO` a `Bar` b
 data a `Bar` b = a `BAR` b
 }}}

 fails to compile, ignoring the fixity declarations. It should be parsed as
 a `FOO` (a `Bar` b) but currently the parentheses are required, which
 misses the point of fixity annotations.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1727>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to