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

Use shorthand notation for classes in subtype tests

Browse Source
This commit is contained in:
Asumu Takikawa 2014-02-03 16:34:03 -05:00
parent cd2ef502b0
commit 0b1eec20b5
1 changed files with 16 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt
View File

@ -293,23 +293,23 @@
(->optkey -String [-Void] #:x -Symbol #t Univ)]
;; classes and objects
[(make-Class #f null null `((m ,(-> -Nat))) `((m ,(-> -Nat))))
(make-Class #f null null `((m ,(-> -Nat))) `((m ,(-> -Nat))))]
[(make-Instance (make-Class #f null null `((m ,(-> -Nat))) `((m ,(-> -Nat)))))
(make-Instance (make-Class #f null null `((m ,(-> -Nat))) `((m ,(-> -Nat)))))]
[(make-Instance (make-Class #f null null `((m ,(-> -Nat)) (n ,(-> -Nat))) null))
(make-Instance (make-Class #f null null `((m ,(-> -Nat))) null))]
[(make-Instance (make-Class #f null `((f ,-Nat)) `((m ,(-> -Nat)) (n ,(-> -Nat))) null))
(make-Instance (make-Class #f null null `((m ,(-> -Nat))) null))]
[(make-Instance (make-Class #f `((a ,-Nat)) null `((m ,(-> -Nat)) (n ,(-> -Nat))) null))
(make-Instance (make-Class #f null null `((m ,(-> -Nat))) null))]
[(-class #:method ((m (-> -Nat))) #:augment ((m (-> -Nat))))
(-class #:method ((m (-> -Nat))) #:augment ((m (-> -Nat))))]
[(-object #:method ((m (-> -Nat))) #:augment ((m (-> -Nat))))
(-object #:method ((m (-> -Nat))) #:augment ((m (-> -Nat))))]
[(-object #:method ((m (-> -Nat)) (n (-> -Nat))))
(-object #:method ((m (-> -Nat))))]
[(-object #:method ((f -Nat)) #:augment ((m (-> -Nat)) (n (-> -Nat))))
(-object #:method ((m (-> -Nat))))]
[(-object #:field ((a -Nat)) #:method ((m (-> -Nat)) (n (-> -Nat))))
(-object #:method ((m (-> -Nat))))]
[FAIL
(make-Instance (make-Class #f null null `((m ,(-> -Nat)) (n ,(-> -Nat))) null))
(make-Instance (make-Class #f null null `((l ,(-> -Nat)) (m ,(-> -Nat))) null))]
(-object #:method ((m (-> -Nat)) (n (-> -Nat))))
(-object #:method ((l (-> -Nat)) (m (-> -Nat))))]
[FAIL
(make-Class #f null null `((m ,(-> -Nat))) null)
(make-Class #f null null `((m ,(-> -Nat))) `((m ,(-> -Nat))))]
(-class #:method ((m (-> -Nat))))
(-class #:method ((m (-> -Nat))) #:augment ((m (-> -Nat))))]
[FAIL
(make-Class #f null null `((m ,(-> -Nat))) `((m ,(-> -Nat))))
(make-Class #f null null `((m ,(-> -Nat))) null)]
(-class #:method ((m (-> -Nat))) #:augment ((m (-> -Nat))))
(-class #:method ((m (-> -Nat))))]
))