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

Add type keys for Struct and StructTop.

Browse Source 
original commit: fe60793b4de78f80e0f12605e9853b6ab6638a6d
This commit is contained in:
Sam Tobin-Hochstadt 2011-04-19 18:30:42 -04:00
parent 3f6c0aef0c
commit 172d85f97d
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
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]