From 1b2947b7653352faa9598ec89ffd7222077b5a07 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 20 Mar 2014 20:42:10 -0700 Subject: [PATCH] Add type key to ClassTop. original commit: efd27fa4f7d48add6d42f482fb453e5a5cc0eec0 --- .../typed-racket-lib/typed-racket/rep/type-rep.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git 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 index 5b9fe1fd..b3da4724 100644 --- 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