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

Add tests for subtyping -poly. Closes PR13510.

Browse Source 
original commit: 67c6d7804d7ffb6c129b2f98a75e8650744c39ad
This commit is contained in:
Eric Dobson 2013-02-09 11:23:43 -08:00 committed by Vincent St-Amour
parent 5c11968cec
commit f78ac40491
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/tests/typed-racket/unit-tests/subtype-tests.rkt
View File

@ -128,7 +128,17 @@
[(-poly (a) (a . -> . (make-Listof a))) ((-v b) . -> . (make-Listof (-v b)))]
[(-poly (a) (a . -> . (make-Listof a))) ((-pair -Number (-v b)) . -> . (make-Listof (-pair -Number (-v b))))]
(FAIL (-poly (a b) (-> a a)) (-poly (a b) (-> a b)))
[FAIL (-poly (a b) (-> a a)) (-poly (a b) (-> a b))]
[FAIL (-poly (a) (-poly (b) (-pair a b))) (-poly (a) (-poly (b) (-pair b a)))]
;; The following currently are not subtypes, because they are not replacable
;; in an instantiation context. It may be sound for them to be subtypes but
;; the implications of that change are unknown.
[FAIL (-poly (x) (-lst x)) (-poly (x y) (-lst x))]
[FAIL (-poly (y z) (-lst y)) (-poly (z y) (-lst y))]
[FAIL (-poly (y) (-poly (z) (-pair y z))) (-poly (y z) (-pair y z))]
[FAIL (-poly (y z) (-pair y z)) (-poly (y) (-poly (z) (-pair y z)))]
;; polymorphic function types should be subtypes of the function top
[(-poly (a) (a . -> . a)) top-func]