From dc499feed933d94a5c768d35c23779373e68bb9f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 5 Jan 2014 16:34:54 -0600 Subject: [PATCH] fix error message for unsupported patterns --- .../redex-lib/redex/private/generate-term.rkt | 3 ++- .../redex-test/redex/tests/rg-test.rkt | 16 ++++++++++++++++ 2 files changed, 18 insertions(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt index 76bc1634fb..d61d81bf12 100644 --- a/pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt +++ b/pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt @@ -155,7 +155,8 @@ [else (redex-error 'redex-check "~s does not match ~s" generated 'res-term-stx)]))]) syncheck-exp (let ([default-attempt-size (λ (s) (add1 (default-attempt-size s)))]) - (parameterize ([attempt->size #,size-stx]) + (parameterize ([attempt->size #,size-stx] + [unsupported-pat-err-name 'redex-check]) (check-one (λ (size _1 _2) (values diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/rg-test.rkt b/pkgs/redex-pkgs/redex-test/redex/tests/rg-test.rkt index 23865a106e..3e1404f8f7 100644 --- a/pkgs/redex-pkgs/redex-test/redex/tests/rg-test.rkt +++ b/pkgs/redex-pkgs/redex-test/redex/tests/rg-test.rkt @@ -1391,6 +1391,22 @@ #:keep-going? #t))) (test tries 10)) +(let () + (define-language L) + + (define-judgment-form L + #:mode (wf I) + [-------------- + (wf (any ...))]) + + (test (regexp-match? + #rx"^redex-check: generation failed at unsupported pattern" + (with-handlers ([exn:fail? exn-message]) + (redex-check L #:satisfying (wf any) #t) + "no exn raised")) + #t)) + + ;; redex-test-seed (let ([seed 0]) (define-language L)