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

fix test cases

Browse Source
This commit is contained in:
Robby Findler 2016-08-19 09:17:36 -05:00
parent 42dcc525b1
commit 0c03952ca7
1 changed files with 5 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/racket-test/tests/racket/contract/arrow.rkt
View File

@ -495,24 +495,20 @@
#t)
(test/spec-passed/result
'->void.3
'(void? ((contract (-> void?) (λ args void) 'pos 'neg)))
'(void? ((contract (-> void?) (λ args (void)) 'pos 'neg)))
#t)
(test/pos-blame
'->void.4
'((contract (-> void?) (λ args 11) 'pos 'neg))
#t)
'((contract (-> void?) (λ args 11) 'pos 'neg)))
(test/pos-blame
'->void.5
'((contract (-> void?) (λ args (values (void) (void))) 'pos 'neg))
#t)
'((contract (-> void?) (λ args (values (void) (void))) 'pos 'neg)))
(test/pos-blame
'->void.6
'(contract (-> void?) 'not-a-function 'pos 'neg)
#t)
'(contract (-> void?) 'not-a-function 'pos 'neg))
(test/pos-blame
'->void.7
'(contract (-> void?) (λ (x) 1) 'pos 'neg)
#t)
'(contract (-> void?) (λ (x) 1) 'pos 'neg))
(test/spec-passed