Skip to content

Fix four bug in handling of (forall cv. body_ty)

Simon Peyton Jones requested to merge wip/T24335 into master

Fixes #24335 (closed), bugs in handling of forall cv.body_ty.

Merge request reports