fix box/c and vector/c obligations

closes PR 13673
2013-04-07 19:55:10 -05:00 · 2013-04-07 19:55:10 -05:00 · ccda5a84ad
commit ccda5a84ad
parent 6f7c938c0b
2 changed files with 9 additions and 3 deletions
--- a/collects/racket/contract/private/box.rkt
+++ b/collects/racket/contract/private/box.rkt
@ -122,7 +122,10 @@
                        (list* (cadr args) (car args) new-args)))]
             [else (append (reverse new-args)
                           (cons (syntax-property
+                                  (syntax-property
                                   (car args)
+                                   'racket/contract:negative-position
+                                   this-one)
                                  'racket/contract:positive-position
                                  this-one)
                                 (cdr args)))])))
--- a/collects/racket/contract/private/vector.rkt
+++ b/collects/racket/contract/private/vector.rkt
@ -25,9 +25,12 @@
      [else
       (loop (cdr args)
             (cons (syntax-property
+                    (syntax-property
                     (car args)
                     'racket/contract:positive-position
                     this-one)
+                    'racket/contract:negative-position
+                    this-one)
                   new-args))])))

 (define (vectorof-name c)