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

document define-struct/exec:

Browse Source 
svn: r15703
This commit is contained in:
Sam Tobin-Hochstadt 2009-08-11 20:05:31 +00:00
parent 5207a215af
commit 9649e10df8
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/private/prims.ss
View File

@ -20,7 +20,8 @@ This file defines two sorts of primitives. All of them are provided into any mod
(provide (all-defined-out) (provide (all-defined-out)
(rename-out [define-typed-struct define-struct:])) (rename-out [define-typed-struct define-struct:]
[define-typed-struct/exec define-struct/exec:]))
(require (except-in "../utils/utils.ss" extend)) (require (except-in "../utils/utils.ss" extend))
(require (for-syntax (require (for-syntax

6
collects/typed-scheme/ts-reference.scrbl
View File

@ -189,6 +189,12 @@ structure is a substructure of @scheme[parent]. When
@scheme[maybe-type-vars] is present, the structure is polymorphic in the type @scheme[maybe-type-vars] is present, the structure is polymorphic in the type
variables @scheme[v].} variables @scheme[v].}
@defform/subs[
(define-struct/exec: name-spec ([f : t] ...) [e : proc-t])
([name-spec name (name parent)])]{
Like @scheme[define-struct:], but defines an procedural structure.
The procdure @scheme[e] is used as the value for @scheme[prop:procedure], and must have type @scheme[proc-t].}
@subsection{Type Aliases} @subsection{Type Aliases}
@defform*[[(define-type-alias name t) @defform*[[(define-type-alias name t)
(define-type-alias (name v ...) t)]]{ (define-type-alias (name v ...) t)]]{