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

Improve base types for struct-type operations

Browse Source 
original commit: 2bfa5ea4ea476f6ee65d6e3ff5321a327a5a6ba8
This commit is contained in:
Asumu Takikawa 2013-12-28 20:40:32 -05:00
parent c8301ad185
commit 9f247a39ca
1 changed files with 36 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -34,6 +34,7 @@
make-Continuation-Mark-KeyTop
make-Prompt-Tagof
make-Prompt-TagTop
make-StructType make-StructTypeTop
make-ListDots))
;; Racket Reference
@ -927,6 +928,22 @@
[void (->* '() Univ -Void)]
[void? (make-pred-ty -Void)]
;; Section 5.2 (Structure Types)
[make-struct-type
(->opt -Symbol
(-opt (make-StructTypeTop))
-Nat -Nat
[Univ
(-lst (-pair -Struct-Type-Property Univ))
(Un -Inspector (-val #f) (-val 'prefab))
(Un top-func (-val #f) -Nat)
(-lst -Nat)
(-opt top-func)
(-opt -Symbol)]
(-values (list (make-StructTypeTop) top-func top-func top-func top-func)))]
[make-struct-field-accessor (->opt top-func -Nat [(-opt -Symbol)] top-func)]
[make-struct-field-mutator (->opt top-func -Nat [(-opt -Symbol)] top-func)]
;; Section 5.3 (Structure Type Properties)
[make-struct-type-property
(->opt Sym
@ -940,6 +957,8 @@
;; Section 5.6 (Structure Utilities)
[struct->vector (Univ . -> . (-vec Univ))]
[struct? (-> Univ -Boolean)]
[struct-type? (make-pred-ty (make-StructTypeTop))]
;; Section 9.1
[exn:misc:match? (-> Univ B)]
@ -2099,10 +2118,23 @@
[make-sibling-inspector (->opt [-Inspector] -Inspector)]
[current-inspector (-Param -Inspector -Inspector)]
[struct-info (-> Univ (-values (list Univ B)))]
[struct-type-info (-> Univ (-values (list Sym -Nat -Nat (-> Univ -Nat Univ) (-> Univ -Nat Univ Univ) (-lst -Nat) Univ B)))]
[struct-type-make-constructor (-> Univ Univ)]
[struct-type-make-predicate (-> Univ (-> Univ B))]
[struct-info (-> Univ (-values (list (-opt (make-StructTypeTop)) B)))]
[struct-type-info
(-poly (a)
(cl->*
(-> (make-StructType a)
(-values (list Sym -Nat -Nat (-> a -Nat Univ)
(-> a -Nat (Un) -Void) (-lst -Nat)
(-opt (make-StructTypeTop)) B)))
(-> (make-StructTypeTop)
(-values (list Sym -Nat -Nat top-func top-func (-lst -Nat)
(-opt (make-StructTypeTop)) B)))))]
[struct-type-make-constructor (-> (make-StructTypeTop) top-func)]
[struct-type-make-predicate
(-poly (a)
(cl->*
(-> (make-StructType a) (make-pred-ty a))
(-> (make-StructTypeTop) (-> Univ B))))]
[object-name (-> Univ Univ)]
;; Section 14.9 (Code Inspectors)