Skip to content

Fix incorrect proof of applyWhen’s properties

Anselm Schüler requested to merge schuelermine/ghc:fix-applyWhen-proof into master

I realized I made another mistake in !8529 (merged). This commit fixes that.

Merge request reports