diff --git a/collects/tests/typed-scheme/unit-tests/test-utils.rkt b/collects/tests/typed-scheme/unit-tests/test-utils.rkt index d4ad6aed..d3a48721 100644 --- a/collects/tests/typed-scheme/unit-tests/test-utils.rkt +++ b/collects/tests/typed-scheme/unit-tests/test-utils.rkt @@ -47,8 +47,9 @@ (syntax-case stx () [(_ nm a b) (syntax/loc stx (test-check nm type-equal? a b))])) +(define-binary-check (check-tc-result-equal?* tc-result-equal/test? a b)) (define-syntax (check-tc-result-equal? stx) (syntax-case stx () [(_ nm a b) - (syntax/loc stx (test-check nm tc-result-equal/test? a b))])) + (syntax/loc stx (test-case nm (check-tc-result-equal?* a b)))]))