PPrint instance for Cwrite incorrect

[mieszko]

the PPrint instance for the CSyntax cons Cwrite does not respect operator precedence or fixity used to parse the := production. this causes a compile -> -dparsed -> compile sequence to fail on the second compilation.

Example 1

(foo $ r) := bar

pretty-prints as

foo $ r := bar

which parses as foo $ (r := bar) given the current relative precedence of $ and :=.

Example 2

r := (foo $ bar)

pretty-prints as

r := foo $ bar

which parses as (r := foo) $ bar.