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

add test for bug found by vincent

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

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

@ -125,6 +125,7 @@
;; polymorphic function types should be subtypes of the function top ;; 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)] [(cl->* (-Number . -> . -String) (-Boolean . -> . -String)) ((Un -Boolean -Number) . -> . -String)]
)) ))