From aa15b729850dcd5a3f164e4fcf21c5a88495e9c4 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 24 Jan 2014 17:26:57 -0500 Subject: [PATCH] Fix integration test for new class type syntax original commit: cd2ef502b013292b948e1ba7932f2d6b97871d76 --- .../typed-racket-test/tests/typed-racket/succeed/send.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/send.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/send.rkt index b75cf932..7dde2e9c 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/send.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/send.rkt @@ -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))