On this page:
check-equal?:
check-not-equal?:
check-true:
check-exn:
check-not-exn:
27.1 Untyped versions of typed-rackunit
7.1

27 Utilities and patches for typed/rackunit

Georges Dupéron <[email protected]>

 (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