From 419f3fdee1f899d861fd858d44d9bb1cb3801007 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 17 May 2014 19:42:05 -0500 Subject: [PATCH] use the name in the exists contract in its error message --- racket/collects/racket/contract/private/exists.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/racket/collects/racket/contract/private/exists.rkt b/racket/collects/racket/contract/private/exists.rkt index b6224ded1d..9a63d0c9a4 100644 --- a/racket/collects/racket/contract/private/exists.rkt +++ b/racket/collects/racket/contract/private/exists.rkt @@ -16,12 +16,13 @@ [out (∀∃/c-out ctc)] [pred? (∀∃/c-pred? ctc)] [neg? (∀∃/c-neg? ctc)]) + (define name (∀∃/c-name ctc)) (λ (blame) (if (equal? neg? (blame-swapped? blame)) (λ (val) (if (pred? val) (out val) - (raise-blame-error blame val "non-polymorphic value: ~e" val))) + (raise-blame-error blame val "not ~a: ~e" name val))) in)))) (define-struct ∀∃/c (in out pred? name neg?)