Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Merge requests
!8614
Fix incorrect proof of applyWhen’s properties
Code
Review changes
Check out branch
Download
Patches
Plain diff
Anselm Schüler
requested to merge
schuelermine/ghc:fix-applyWhen-proof
into
master
Jul 10, 2022
Overview
2
Commits
1
Pipelines
2
Changes
1
Expand
I realized I made another mistake in
!8529 (merged)
. This commit fixes that.
Merge request reports