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

Make Typed Racket build with contracts again

Browse Source
This commit is contained in:
Asumu Takikawa 2013-10-18 15:27:59 -04:00
parent 29de8558c9
commit f7a49c5e06
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/struct-table.rkt
View File

@ -3,6 +3,7 @@
(require racket/dict syntax/id-table racket/match
mzlib/pconvert racket/syntax
"../utils/utils.rkt"
(prefix-in c: (contract-req))
(rep type-rep filter-rep object-rep)
(utils tc-utils)
(env init-envs)
@ -46,10 +47,10 @@
#'(begin adds ...)))
(provide/cond-contract
[add-struct-fn! (identifier? StructPE? boolean? . -> . any/c)]
[add-struct-constructor! (identifier? . -> . any)]
[struct-constructor? (identifier? . -> . boolean?)]
[struct-accessor? (identifier? . -> . (or/c #f StructPE?))]
[struct-mutator? (identifier? . -> . (or/c #f StructPE?))]
[struct-fn-idx (identifier? . -> . exact-integer?)]
[make-struct-table-code (-> syntax?)])
[add-struct-fn! (identifier? StructPE? boolean? . c:-> . c:any/c)]
[add-struct-constructor! (identifier? . c:-> . any)]
[struct-constructor? (identifier? . c:-> . boolean?)]
[struct-accessor? (identifier? . c:-> . (c:or/c #f StructPE?))]
[struct-mutator? (identifier? . c:-> . (c:or/c #f StructPE?))]
[struct-fn-idx (identifier? . c:-> . exact-integer?)]
[make-struct-table-code (c:-> syntax?)])