From 6ca79d56fafeb11b5c0ef7be6b095e3183f223a4 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 29 Aug 2012 20:32:25 -0500 Subject: [PATCH] fix check-error so it compares the rewritten error messages, not the raw error messages --- collects/test-engine/racket-tests.rkt | 6 ++++-- collects/tests/drracket/test-engine-test.rkt | 5 +++++ 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/collects/test-engine/racket-tests.rkt b/collects/test-engine/racket-tests.rkt index 54ea14abe0..822b1c01b5 100644 --- a/collects/test-engine/racket-tests.rkt +++ b/collects/test-engine/racket-tests.rkt @@ -201,9 +201,11 @@ (send (send test-engine get-info) add-check) (let ([result (with-handlers ([exn? (lambda (e) - (or (equal? (exn-message e) error) + (define msg + (rewrite-contract-error-message (exn-message e))) + (or (equal? msg error) (make-incorrect-error src (test-format) error - (exn-message e) e)))]) + msg e)))]) (let ([test-val (test)]) (make-expected-error src (test-format) error test-val)))]) (if (check-fail? result) diff --git a/collects/tests/drracket/test-engine-test.rkt b/collects/tests/drracket/test-engine-test.rkt index 9d3cb1d06e..dec7e3adf9 100644 --- a/collects/tests/drracket/test-engine-test.rkt +++ b/collects/tests/drracket/test-engine-test.rkt @@ -28,6 +28,11 @@ #:repl-check-failures-expected (list (make-check-expect-failure "1" "2" 3 2))) + (unless dmda? + (test-expression (format "~s" '(check-error (first 212) "first: expects a non-empty list; given: 212")) + "The test passed!" + #:repl-expected "Both tests passed!")) + (unless dmda? (test-expression "(check-expect (car 0) 2)" "car: expects a pair, given 0"