Add test cases for subtyping of -Bottom.
This commit is contained in:
parent
30809eb841
commit
b199527ec2
|
@ -264,6 +264,9 @@
|
|||
[FAIL (make-ValuesDots (list) -Symbol 'a) (make-ValuesDots (list (-result -String)) -String 'a)]
|
||||
[(-values (list -Bottom)) (-values (list -String -Symbol))]
|
||||
|
||||
[(-> Univ -Bottom) (-> Univ (-values (list -String -Symbol)))]
|
||||
[(-> Univ -Bottom) (-> Univ (-values-dots null -String 'x))]
|
||||
|
||||
;; keyword function types
|
||||
[(->key #:x -Symbol #f Univ) (->key Univ)]
|
||||
[FAIL (->key #:x -Symbol #t Univ) (->key Univ)]
|
||||
|
|
Loading…
Reference in New Issue
Block a user