From 172d85f97d0f4ab4831ff25edf0c1b2420664b68 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. original commit: fe60793b4de78f80e0f12605e9853b6ab6638a6d --- 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 feb057b8..37feedd2 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]