Ticket #1727 (new bug)
Precedence and associativity rules ignored when mixing infix type and data constructors in a single expression
|Reported by:||pat@…||Owned by:|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||Blocked By:|
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.