Show the offending value when a TR-introduced Any contract fails

2013-03-21 21:43:30 -04:00 · 2013-03-21 21:43:30 -04:00 · c5df74f662
commit c5df74f662
parent f2616b934c
1 changed files with 1 additions and 1 deletions
--- a/collects/typed-racket/utils/any-wrap.rkt
+++ b/collects/typed-racket/utils/any-wrap.rkt
@ -9,7 +9,7 @@
  (define (fail v)
    (raise-blame-error 
     (blame-swap b) v 
-     "Attempted to use a higher-order value passed as `Any` in untyped code"))
+     "Attempted to use a higher-order value passed as `Any` in untyped code: ~v" v))

  (define (t v)
    (define (wrap-struct s)