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: | |
|---|---|---|---|
| Priority: | lowest | Milestone: | 7.6.2 |
| Component: | Compiler (Parser) | Version: | 6.6.1 |
| Keywords: | Cc: | ||
| Operating System: | Unknown/Multiple | Architecture: | Unknown/Multiple |
| Type of failure: | None/Unknown | Difficulty: | Unknown |
| Test Case: | Blocked By: | ||
| Blocking: | Related Tickets: |
Description
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.
Change History
Note: See
TracTickets for help on using
tickets.
