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

add test for bug found by vincent

Browse Source 
original commit: a81de56b302dcf9a44c496967df3d40e3d5779f5
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-10 17:55:29 -04:00
parent ecbd63562b
commit 507309df27
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/tests/typed-scheme/unit-tests/subtype-tests.rkt
View File

@ -124,7 +124,8 @@
(FAIL (-poly (a b) (-> a a)) (-poly (a b) (-> a b)))
;; polymorphic function types should be subtypes of the function top
[(-poly (a) (a . -> . a)) top-func]
[(-poly (a) (a . -> . a)) top-func]
(FAIL (-> Univ) (null Univ . ->* . Univ))
[(cl->* (-Number . -> . -String) (-Boolean . -> . -String)) ((Un -Boolean -Number) . -> . -String)]
))