id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
197,Fixities in ParseMode.fixities should be qualified,reinerp,nibro,"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.",bug report,new,major,,parser,1.8.x,,,reiner.pope@…