suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source 
original commit: c5df74f662bf5eb733211a33db256f91bb11dfaa
This commit is contained in:
Tony Garnock-Jones 2013-03-21 21:43:30 -04:00 committed by Vincent St-Amour
parent 6bdd1c3c17
commit e25d827eb0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/utils/any-wrap.rkt
View File

@ -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)