Don't try to name casted values in the contract.

Relevant to Racket bug 15323.
2016-07-12 17:58:02 -04:00 · 2016-07-12 17:58:02 -04:00 · d1df2881ea
commit d1df2881ea
parent a5c4ad2f77
1 changed files with 1 additions and 1 deletions
--- a/typed-racket-lib/typed-racket/base-env/prims-contract.rkt
+++ b/typed-racket-lib/typed-racket/base-env/prims-contract.rkt
@ -330,7 +330,7 @@
                       val
                       '#,pos
                       '#,neg
-                       val
+                       #f
                       (quote-srcloc #,stx)))
                    'feature-profile:TR-dynamic-check #t))
             #'ty)))