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

test that you can use flat-named-contract with a contract

Browse Source 
that already has a name (and get the new name)

closes PR 8050 -- this PR was fixed at some point in
the past; this commit just adds a test case
This commit is contained in:
Robby Findler 2012-11-15 07:42:45 -06:00
parent d7eddb91ef
commit bfa6f374ff
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -11977,6 +11977,13 @@ so that propagation occurs.
(test-name 'char? (flat-contract char?)) (test-name 'char? (flat-contract char?))
(test-name 'any/c any/c) (test-name 'any/c any/c)
(test-name 'mumble (let ([frotz/c integer?]
[bazzle/c boolean?])
(flat-named-contract 'mumble
(and/c frotz/c
(not/c bazzle/c)))))
(test-name '(-> integer? integer?) (-> integer? integer?)) (test-name '(-> integer? integer?) (-> integer? integer?))
(test-name '(-> integer? any) (-> integer? any)) (test-name '(-> integer? any) (-> integer? any))
(test-name '(-> integer? (values boolean? char?)) (-> integer? (values boolean? char?))) (test-name '(-> integer? (values boolean? char?)) (-> integer? (values boolean? char?)))