Skip to content

Make exprIsConApp_maybe a bit cleverer

Simon Peyton Jones requested to merge wip/T23159 into master

This MR addresses #23159 (closed).

Should give no change in behaviour but perhaps fewer Simplifier iterations

Merge request reports