/usr/share/racket/collects/syntax/modcollapse.rkt is in racket-common 6.3-1.
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 | #lang racket/base
(require racket/contract/base
"private/modcollapse-noctc.rkt")
(define simple-rel-to-module-path-v/c
(and/c module-path?
(or/c
path?
(cons/c 'lib any/c)
(cons/c 'file any/c)
(cons/c 'planet any/c)
(cons/c 'quote any/c)
(cons/c 'submod
(cons/c (or/c
path?
(cons/c 'lib any/c)
(cons/c 'file any/c)
(cons/c 'planet any/c)
(cons/c 'quote any/c))
(cons/c symbol? (listof symbol?)))))))
(define rel-to-module-path-v/c
(or/c simple-rel-to-module-path-v/c
path?
symbol? ;; why do we allow symbols (which are non-normalized) as a `relto' value?
(-> simple-rel-to-module-path-v/c)))
(provide/contract
[collapse-module-path (module-path?
rel-to-module-path-v/c
. -> . simple-rel-to-module-path-v/c)]
[collapse-module-path-index (case->
(module-path-index?
. -> . module-path?)
((or/c symbol? module-path-index?)
rel-to-module-path-v/c
. -> . simple-rel-to-module-path-v/c))])
|