From cdd0b614dc2c3e16984f7d844e281310b2d03fdc Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 16 Sep 2014 16:35:51 -0400 Subject: [PATCH] Fix type for text:line-numbers-mixin original commit: 089e6387de18a1a2e139e491aacf5c54734d1b77 --- .../typed-racket-more/typed/private/framework-types.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/private/framework-types.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/private/framework-types.rkt index 9fc9c842..4a0058c5 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/private/framework-types.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/private/framework-types.rkt @@ -1698,4 +1698,6 @@ (All (r #:row) (Class #:row-var r #:implements Text%) -> - (Class #:row-var r #:implements Text:Line-Numbers<%>))) + (Class #:row-var r + #:implements Text% + #:implements Text:Line-Numbers<%>)))