7.7
27 Utilities and patches for typed/rackunit
(require phc-toolkit/typed-rackunit) | |
package: phc-toolkit |
syntax
(check-equal?: actual maybe-type expected)
actual = (ExpressionOf Any) expected = (ExpressionOf Any) maybe-type =
| : type type = Type
Typed macro which behaves like the check-equal? function. The official
typed version check-equal? from typed/rackunit has some
issues with source location for failed tests, and with higher-order values
(e.g. syntax) passed as Any. This alternate implementation fixes these
issues.
This implementation is compatible with the use of other functions from typed/rackunit.
syntax
(check-not-equal?: actual maybe-type expected)
actual = (ExpressionOf Any) expected = (ExpressionOf Any) maybe-type =
| : type type = Type
Typed macro which behaves like the check-not-equal? function. The
official typed version check-not-equal? from
typed/rackunit has some issues with source location for failed
tests, and with higher-order values (e.g. syntax) passed as Any. This
alternate implementation fixes these issues.
This implementation is compatible with the use of other functions from typed/rackunit.
syntax
(check-true: actual)
actual = (ExpressionOf Any)
Typed macro which behaves like the check-true function. The official
typed version check-true from typed/rackunit has some
issues with source location for failed tests, and possibly with higher-order
values (e.g. syntax) passed as Any. This alternate implementation
fixes these issues.
This implementation is compatible with the use of other functions from typed/rackunit.
syntax
(check-exn: exn-predicate-or-regexp thunk maybe-message)
exn-predicate-or-regexp = (ExpressionOf (U Regexp (→ Any Any))) thunk = (→ Any) maybe-message =
| (ExpressionOf String)
Typed macro which behaves like the check-exn function. The official
typed version check-exn from typed/rackunit has some
issues with source location for failed tests, and possibly with higher-order
values (e.g. syntax) passed as Any. This alternate implementation
fixes these issues.
This implementation is compatible with the use of other functions from typed/rackunit.
syntax
(check-not-exn: thunk maybe-message)
thunk = (→ Any) maybe-message =
| (ExpressionOf String)
Typed macro which behaves like the check-not-exn function. The official
typed version check-not-exn from typed/rackunit has some
issues with source location for failed tests, and possibly with higher-order
values (e.g. syntax) passed as Any. This alternate implementation
fixes these issues.
This implementation is compatible with the use of other functions from typed/rackunit.
27.1 Untyped versions of typed-rackunit
(require phc-toolkit/untyped/typed-rackunit) | |
package: phc-toolkit |