From 1b8539dfbeb7adccd04579a8ef5ef22f9dbcb806 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 20 Oct 2014 13:04:55 -0400 Subject: [PATCH] Work around a type alias bug in framework types The type alias analysis is unable to detect a rare kind of type dependency and as a result initializes type aliases in an order that doesn't work. Adding the extra `Class` boilerplate here accommodates the analysis. Please merge to v6.1.1 original commit: 4a32fa15515494bca418a655bd80a03adfc29442 --- .../typed-racket-more/typed/private/framework-types.rkt | 3 ++- 1 file changed, 2 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 660c7113..3da82994 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 @@ -472,7 +472,8 @@ [x (Option Integer)] [y (Option Integer)])))) -(define-type Frame:Register-Group<%> Frame:Basic<%>) +(define-type Frame:Register-Group<%> + (Class #:implements Frame:Basic<%>)) (define-type Frame:Register-Group-Mixin (All (r #:row)