From b8807f706c126053cea3bc7b14a4f62235f03bd7 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 16 Feb 2015 00:27:04 -0500 Subject: [PATCH] Fix a test that violated opaque class/c --- typed-racket-test/succeed/send.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-test/succeed/send.rkt b/typed-racket-test/succeed/send.rkt index e70a940f..2e0da071 100644 --- a/typed-racket-test/succeed/send.rkt +++ b/typed-racket-test/succeed/send.rkt @@ -15,7 +15,7 @@ (require typed/racket/class) (require/typed (submod ".." fish) [fish% Fish%]) - (define-type-alias Fish% (Class (init [weight Real]) + (define-type-alias Fish% (Class (init-field [weight Real]) [get-weight (-> Real)] [inc-weight-by! (Real Boolean -> Void)]))