From ccda5a84ad6b6178dd6efcd33fc728f5233f84dd Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sun, 7 Apr 2013 19:55:10 -0500
Subject: [PATCH] fix box/c and vector/c obligations

closes PR 13673
---
 collects/racket/contract/private/box.rkt    | 5 ++++-
 collects/racket/contract/private/vector.rkt | 7 +++++--
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/collects/racket/contract/private/box.rkt b/collects/racket/contract/private/box.rkt
index e0731d763e..2712d39afd 100644
--- 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
-                                  (car args)
+                                  (syntax-property
+                                   (car args)
+                                   'racket/contract:negative-position
+                                   this-one)
                                   'racket/contract:positive-position
                                   this-one)
                                  (cdr args)))])))
diff --git a/collects/racket/contract/private/vector.rkt b/collects/racket/contract/private/vector.rkt
index 83568fb9d5..649461b7a9 100644
--- a/collects/racket/contract/private/vector.rkt
+++ b/collects/racket/contract/private/vector.rkt
@@ -25,8 +25,11 @@
       [else
        (loop (cdr args)
              (cons (syntax-property
-                    (car args)
-                    'racket/contract:positive-position
+                    (syntax-property
+                     (car args)
+                     'racket/contract:positive-position
+                     this-one)
+                    'racket/contract:negative-position
                     this-one)
                    new-args))])))