<div dir="ltr"><div>We are currently wrapping up <a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12842">https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12842</a>, which moves Fixity declarations into TTG extensions point, and into the haskell syntax, not GHC.</div><div><br></div><div>But <span style="font-family:monospace">rnCmd</span> for <span style="font-family:monospace">HsCommandArrForm</span> in current master has</div><div><font size="2"><br></font></div><div><font size="2"><span style="font-family:monospace">rnCmd (HsCmdArrForm _ op _ (Just _) [arg1, arg2])</span></font></div><div><font size="2"><span style="font-family:monospace">  ...<br></span></font></div><div><br></div><div>It matches on <span style="font-family:monospace">HsCmd GhcPs</span>, which never introduce the `Just` form for fixity.</div><div><br></div><div>The only place the `Just` form is introduced, is in <span style="font-family:monospace">mkOpFormRn,</span><span style="font-family:arial,sans-serif"> but this is only ever called from this specific equation.  So both can be removed, without changing behaviour.</span></div><div><span style="font-family:arial,sans-serif"><br></span></div><div><span style="font-family:arial,sans-serif">The question is, this code was added for a reason at some point, what has broken in the meantime?  Should this be fixed somehow instead of being removed?</span></div><div><span style="font-family:arial,sans-serif"><br></span></div><div><span style="font-family:arial,sans-serif">Alan<br></span></div></div>