/usr/share/racket/collects/syntax/boundmap.rkt is in racket-common 6.7-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 | (module boundmap racket/base
(require racket/contract/base
(for-syntax racket/base)
"private/boundmap.rkt")
(define-syntax provide/contract*
(syntax-rules ()
[(_ [(name0 name ...) contract])
(begin (provide/contract [name0 contract])
(provide/contract (rename name0 name contract)) ...)]
[(_ [name contract])
(provide/contract [name contract])]
[(_ [name contract] ...)
(begin (provide/contract* [name contract]) ...)]))
(define-syntax (provide-mapping-code/contract stx)
(syntax-case stx ()
[(_ make-identifier-mapping
identifier-mapping? identifier-mapping?/out
identifier-mapping-get
identifier-mapping-put!
identifier-mapping-for-each
identifier-mapping-map
identifier=?)
(syntax
(provide/contract*
[make-identifier-mapping (-> identifier-mapping?)]
[identifier-mapping?/out (any/c . -> . boolean?)]
[identifier-mapping-get (->* (identifier-mapping?
identifier?)
((-> any))
any)]
[identifier-mapping-put! (identifier-mapping?
identifier?
any/c
. -> .
void?)]
[identifier-mapping-for-each (identifier-mapping?
(identifier? any/c . -> . any)
. -> .
void?)]
[identifier-mapping-map (identifier-mapping?
(identifier? any/c . -> . any)
. -> .
(listof any/c))]))]))
(provide-mapping-code/contract
make-bound-identifier-mapping
bound-identifier-mapping? bound-identifier-mapping?
bound-identifier-mapping-get
bound-identifier-mapping-put!
bound-identifier-mapping-for-each
bound-identifier-mapping-map
bound-identifier=?)
(provide-mapping-code/contract
[make-module-identifier-mapping make-free-identifier-mapping]
module-identifier-mapping?
[module-identifier-mapping? free-identifier-mapping?]
[module-identifier-mapping-get free-identifier-mapping-get]
[module-identifier-mapping-put! free-identifier-mapping-put!]
[module-identifier-mapping-for-each free-identifier-mapping-for-each]
[module-identifier-mapping-map free-identifier-mapping-map]
module-identifier=?))
|