Skip to content

fix: isDefEq handling of delayed-assigned mvars when withAssignableSyntheticOpaque is true #37

fix: isDefEq handling of delayed-assigned mvars when withAssignableSyntheticOpaque is true

fix: isDefEq handling of delayed-assigned mvars when withAssignableSyntheticOpaque is true #37

Annotations

1 error

check-prelude

failed Feb 23, 2024 in 30s