Closed egnha closed 7 years ago
Requirement: When all checks pass, a strictly applied function behaves identically to the underlying (non-strict) function. In particular, all arguments should be evaluated lazily, even if they undergo input validation.
Verify this requirement with unit tests.
Verified in bd902df98313a899b3b1457688f07b6f48039319
Requirement: When all checks pass, a strictly applied function behaves identically to the underlying (non-strict) function. In particular, all arguments should be evaluated lazily, even if they undergo input validation.
Verify this requirement with unit tests.