fixed a bug in the annotations for things like listof when they were used in a non-function position

2010-07-18 15:52:29 -05:00 · 2010-07-18 15:52:29 -05:00 · a66fd7574d
commit a66fd7574d
parent a524595af2
1 changed files with 1 additions and 1 deletions
--- a/collects/racket/contract/private/guts.rkt
+++ b/collects/racket/contract/private/guts.rkt
@ -427,7 +427,7 @@
                 [x
                  (identifier? #'x)
                  (syntax-property 
-                   #'x
+                   #'ctc/proc
                   'racket/contract:contract 
                   (vector (gensym 'ctc) 
                           (list stx)