Add type key to ClassTop.

original commit: efd27fa4f7d48add6d42f482fb453e5a5cc0eec0
2014-03-20 20:42:10 -07:00 · 2014-03-20 20:42:10 -07:00 · 1b2947b765
commit 1b2947b765
parent e0403713c6
1 changed files with 1 additions and 1 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt
@ -503,7 +503,7 @@

 ;; Supertype of all Class types, cannot instantiate
 ;; or subclass these
-(def-type ClassTop () [#:fold-rhs #:base])
+(def-type ClassTop () [#:fold-rhs #:base] [#:key 'class])

 ;; row-ext : Option<(U F B Row)>
 ;; row     : Row