Ticket #197 (new bug report)

Opened 7 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@…


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.