From fe60793b4de78f80e0f12605e9853b6ab6638a6d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 19 Apr 2011 18:30:42 -0400 Subject: [PATCH] Add type keys for Struct and StructTop. --- collects/typed-scheme/rep/type-rep.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/rep/type-rep.rkt b/collects/typed-scheme/rep/type-rep.rkt index feb057b8e3..37feedd275 100644 --- a/collects/typed-scheme/rep/type-rep.rkt +++ b/collects/typed-scheme/rep/type-rep.rkt @@ -292,7 +292,7 @@ pred-id cert maker-id)] - [#:key #f]) + [#:key 'struct]) ;; A structure type descriptor ;; s : struct @@ -304,7 +304,7 @@ (dt VectorTop () [#:fold-rhs #:base] [#:key 'vector]) (dt HashtableTop () [#:fold-rhs #:base] [#:key 'hash]) (dt MPairTop () [#:fold-rhs #:base] [#:key 'mpair]) -(dt StructTop ([name Struct?]) [#:key #f]) +(dt StructTop ([name Struct?]) [#:key 'struct]) ;; v : Scheme Value (dt Value (v) [#:frees #f] [#:fold-rhs #:base] [#:key (cond [(number? v) 'number]