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

Fix expected result from contract test that fails due to sorting.

Browse Source
This commit is contained in:
Stevie Strickland 2010-09-07 11:44:34 -04:00
parent 04d9814337
commit 6d7be2bab3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -9619,7 +9619,7 @@ so that propagation occurs.
(racket/contract:negative-position a)
(racket/contract:positive-position b)))
(test-obligations '(->i ([x a]) #:pre () #t [res b] #:post () #t)
'((racket/contract:contract (->i #:post) (#:pre))
'((racket/contract:contract (#:post ->i) (#:pre))
(racket/contract:contract-on-boundary a)
(racket/contract:contract-on-boundary b)
(racket/contract:negative-position a)