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

Add static contract tests for classes

Browse Source
This commit is contained in:
Asumu Takikawa 2014-01-24 17:14:45 -05:00
parent dff2fa6de7
commit 39b237043d
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt
View File

@ -127,4 +127,20 @@
(t-sc (-lst Univ) (listof/sc any-wrap/sc))
(t-sc (Un (-lst Univ) -Number) (or/sc number/sc (listof/sc any-wrap/sc)))
;; classes
(t-sc (-class) (class/sc null #f null null))
(t-sc (-class #:init ([x -Number #f] [y -Number #f]))
(class/sc (list (member-spec 'init 'x number/sc)
(member-spec 'init 'y number/sc))
#f null null))
(t-sc (-class #:init ([x -Number #f] [y -Number #t]))
(class/sc (list (member-spec 'init 'x number/sc)
(member-spec 'init 'y number/sc))
#f null null))
(t-sc (-class #:init ([x -Number #f]) #:init-field ([y -Integer #f]))
(class/sc (list (member-spec 'init 'x number/sc)
(member-spec 'init 'y integer/sc)
(member-spec 'field 'y integer/sc)
(member-spec 'inherit-field 'y integer/sc))
#f null null))
))