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

Move markparam to its own package/repo.

Browse Source
This commit is contained in:
Vincent St-Amour 2015-07-23 16:48:57 -05:00
parent 11ccb7c530
commit 5d9c0cf1c7
1 changed files with 0 additions and 44 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
racket/collects/unstable/markparam.rkt
View File

@ -1,44 +0,0 @@
#lang racket/base
(require racket/serialize
racket/function
racket/contract/base
(for-syntax racket/base))
(define mark-parameter-first
(curry continuation-mark-set-first #f))
(define (mark-parameter-all mp [prompt-tag (default-continuation-prompt-tag)])
(continuation-mark-set->list (current-continuation-marks) mp prompt-tag))
(define (mark-parameters-all mps [none-v #f] [prompt-tag (default-continuation-prompt-tag)])
(continuation-mark-set->list* (current-continuation-marks) mps none-v prompt-tag))
(serializable-struct
mark-parameter ()
#:transparent
#:property prop:procedure mark-parameter-first)
(define-syntax with-continuation-mark*
(syntax-rules ()
[(_ () body-expr ...)
(begin body-expr ...)]
[(_ ([k v]) body-expr ...)
(with-continuation-mark k v body-expr ...)]
[(_ ([k0 v0] [k1 v1] ...) body-expr ...)
(with-continuation-mark k0 v0
(with-continuation-mark* ([k1 v1] ...)
body-expr ...))]))
(define-syntax (mark-parameterize stx)
(syntax-case stx ()
[(_ ([mp expr] ...) body-expr ...)
(with-syntax ([(expr-val ...) (generate-temporaries #'(expr ...))])
(syntax/loc stx
(let ([expr-val expr] ...)
(with-continuation-mark* ([mp expr-val] ...)
body-expr ...))))]))
(provide mark-parameterize
(struct-out mark-parameter))
(provide/contract
[mark-parameter-first ((mark-parameter?) (continuation-prompt-tag?) . ->* . any/c)]
[mark-parameter-all ((mark-parameter?) (continuation-prompt-tag?) . ->* . list?)]
[mark-parameters-all (((listof mark-parameter?)) (any/c continuation-prompt-tag?) . ->* . (listof vector?))])