Ticket #197 (new bug report)
Opened 3 years ago
Fixities in ParseMode.fixities should be qualified
| Reported by: | reinerp | Owned by: | nibro |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | parser | Version: | 1.8.x |
| Keywords: | Cc: | reiner.pope@… |
Description
Consider parsing the expression
(a P.+ b P.+ c, a Q.+ b Q.+ c)
Since P.+ and Q.+ come from different modules, they could have different fixities. There seems to be no way to make HSE aware of this. It seems that the Fixity data type should contain a QOp rather than an Op.
Note: See
TracTickets for help on using
tickets.
