suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix test suite to match earlier fix to obligation info

Browse Source 
merge to release branch, please
(cherry picked from commit 1ebf66252f)
This commit is contained in:
Robby Findler 2013-04-08 13:40:17 -05:00 committed by Ryan Culpepper
parent c3b92ec255
commit c1ddadf05d
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/tests/racket/contract-test.rktl
View File

@ -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)))