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

Fix integration test for new class type syntax

Browse Source 
original commit: cd2ef502b013292b948e1ba7932f2d6b97871d76
This commit is contained in:
Asumu Takikawa 2014-01-24 17:26:57 -05:00
parent 07243dd154
commit aa15b72985
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/send.rkt
View File

@ -15,8 +15,9 @@
(require racket/class)
(require/typed (submod ".." fish) [fish% Fish%])
(define-type-alias Fish% (Class () ([weight Real]) ([get-weight (-> Real)]
[inc-weight-by! (Real Boolean -> Void)])))
(define-type-alias Fish% (Class (init [weight Real])
[get-weight (-> Real)]
[inc-weight-by! (Real Boolean -> Void)]))
(: f ((Instance Fish%) -> Real))
(define (f b) (send b get-weight))