Regression in #3234, backticked infix operators are printed incorrectly

[buzden]

Steps to Reproduce

Typecheck the following module:

import Language.Reflection

%default total
%language ElabReflection

export infix 6 `op`

%runElab logSugaredTerm "debug" 0 "term with infix" `(a `op` b)

Expected Behavior

Prints

LOG debug:0: term with infix: a `op` b

Observed Behavior

Prints

LOG debug:0: term with infix: a op b

Pinging @andrevidela as the author of the original PR #3234

[andrevidela]

Nice catch! I'll see if I can fix it this afternoon

something something bidirectional parsing would have caught it etc etc