suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add type key to ClassTop.

Browse Source
This commit is contained in:
Eric Dobson 2014-03-20 20:42:10 -07:00
parent ca867bc97f
commit efd27fa4f7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt
View File

@ -503,7 +503,7 @@
;; Supertype of all Class types, cannot instantiate ;; Supertype of all Class types, cannot instantiate
;; or subclass these ;; 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-ext : Option<(U F B Row)>
;; row : Row ;; row : Row