From 1e44bee956da1ddf0a915dbbbed67b6481c4eb3d Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 16 Mar 2015 22:26:40 -0400 Subject: [PATCH] Fix contract test form for the failure case This hadn't been updated for recent contract changes but hadn't been noticed since it only breaks on failing tests. --- typed-racket-test/unit-tests/contract-tests.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/typed-racket-test/unit-tests/contract-tests.rkt b/typed-racket-test/unit-tests/contract-tests.rkt index 714ade57..58f92296 100644 --- a/typed-racket-test/unit-tests/contract-tests.rkt +++ b/typed-racket-test/unit-tests/contract-tests.rkt @@ -51,7 +51,9 @@ (let/ec exit (let ([contract (type->contract v (λ (#:reason [reason #f]) (exit (or reason "No reason given"))))]) - (with-check-info (('contract (syntax->datum contract))) + (match-define (list ctc-defs ctc) contract) + (define ctc-data (map syntax->datum (append ctc-defs (list ctc)))) + (with-check-info (('contract ctc-data)) (fail-check "type could be converted to contract"))))) (unless (regexp-match? expected-reason reason) (with-check-info (('reason reason))