Remove pprTrace from pushCoercionIntoLambda (#21555)

This firstly caused spurious output to be emitted (as evidenced by #21555 (closed)) but even worse caused a massive coercion to be attempted to be printed (> 200k terms) which would invariably each up all the memory of your computer.

The good news is that removing this trace allows the program to compile to completion, the bad news is that the program exhibits a core lint error (on 9.0.2) but not any other releases it seems.

Fixes #21577 (closed) and #21555 (closed)

added backport needed:9.2 backport needed:9.4 + 1 deleted label

approved this merge request

Thanks for leaving a comment with breadcrumbs, for the next person who looks at this.

Thanks for fixing this @mpickering.

Trivial typo in commit message: "invariably each up all the memory": probably should be "eats"?

R.e. the core lint error: note that 8.8.4 and 8.10.7 also have a lint error on this program.

added 1 deleted label

added 9 commits

• 593f93ca...35bdab1c - 8 commits from branch master
• b66fd9a1 - Remove pprTrace from pushCoercionIntoLambda (#21555 (closed))

Compare with previous version

Thanks. I rebased and fixed the commit msg.

assigned to @marge-bot

I will attempt to batch this MR (!8275 (closed))...

Batch MR !8275 (closed) failed: CI failed! I will retry later...

I will attempt to batch this MR (!8278 (closed))...

Batch MR !8278 (closed) failed: CI failed! I will retry later...

I will attempt to batch this MR (!8280 (closed))...

Batch MR !8280 (closed) failed: CI failed! I will retry later...

I will attempt to batch this MR (!8281 (closed))...

Batch MR !8281 (closed) failed: CI failed! I will retry later...

I will attempt to batch this MR (!8283 (closed))...

Merged in c1e24e61

closed

mentioned in merge request !8337 (merged)