use the name in the exists contract in its error message

2014-05-17 19:42:05 -05:00 · 2014-05-17 19:42:05 -05:00 · 419f3fdee1
commit 419f3fdee1
parent a05da159b0
1 changed files with 2 additions and 1 deletions
--- 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?)