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

Add type keys for Struct and StructTop.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-04-19 18:30:42 -04:00
parent 6c17b01f99
commit fe60793b4d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/rep/type-rep.rkt
View File

@ -292,7 +292,7 @@
pred-id pred-id
cert cert
maker-id)] maker-id)]
[#:key #f]) [#:key 'struct])
;; A structure type descriptor ;; A structure type descriptor
;; s : struct ;; s : struct
@ -304,7 +304,7 @@
(dt VectorTop () [#:fold-rhs #:base] [#:key 'vector]) (dt VectorTop () [#:fold-rhs #:base] [#:key 'vector])
(dt HashtableTop () [#:fold-rhs #:base] [#:key 'hash]) (dt HashtableTop () [#:fold-rhs #:base] [#:key 'hash])
(dt MPairTop () [#:fold-rhs #:base] [#:key 'mpair]) (dt MPairTop () [#:fold-rhs #:base] [#:key 'mpair])
(dt StructTop ([name Struct?]) [#:key #f]) (dt StructTop ([name Struct?]) [#:key 'struct])
;; v : Scheme Value ;; v : Scheme Value
(dt Value (v) [#:frees #f] [#:fold-rhs #:base] [#:key (cond [(number? v) 'number] (dt Value (v) [#:frees #f] [#:fold-rhs #:base] [#:key (cond [(number? v) 'number]