From c1ddadf05d6c94a9f0a931bddb3928fc4937e2e9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 8 Apr 2013 13:40:17 -0500 Subject: [PATCH] fix test suite to match earlier fix to obligation info merge to release branch, please (cherry picked from commit 1ebf66252f2e3638506c347f247956d01bac45c7) --- collects/tests/racket/contract-test.rktl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/tests/racket/contract-test.rktl b/collects/tests/racket/contract-test.rktl index bcf17e0674..4bc8bcde65 100644 --- a/collects/tests/racket/contract-test.rktl +++ b/collects/tests/racket/contract-test.rktl @@ -13698,18 +13698,23 @@ so that propagation occurs. (racket/contract:positive-position b))) (test-obligations '(box/c a) '((racket/contract:contract (box/c) ()) + (racket/contract:negative-position a) (racket/contract:positive-position a))) (test-obligations '(box-immutable/c a) '((racket/contract:contract (box-immutable/c) ()) (racket/contract:positive-position a))) (test-obligations '(vectorof a) '((racket/contract:contract (vectorof) ()) + (racket/contract:negative-position a) (racket/contract:positive-position a))) (test-obligations '(vector-immutableof a) '((racket/contract:contract (vector-immutableof) ()) (racket/contract:positive-position a))) (test-obligations '(vector/c a b c) '((racket/contract:contract (vector/c) ()) + (racket/contract:negative-position a) + (racket/contract:negative-position b) + (racket/contract:negative-position c) (racket/contract:positive-position a) (racket/contract:positive-position b) (racket/contract:positive-position c)))