Lines Matching refs:srfi
8 (define (srfi-id? id)
9 (regexp-match? #rx"^srfi-[0-9]+$" (symbol->string id)))
11 (define (srfi-id->filename srfi-id)
12 (regexp-replace #rx"^srfi-([0-9]+)$" (symbol->string srfi-id) "\\1/\\1.rkt"))
14 (define (srfi-id-present? srfi-id)
15 (file-exists? (build-path (collection-path "srfi")
16 (srfi-id->filename srfi-id))))
19 (or (and (srfi-id? id) (srfi-id-present? id))
23 (cond [(and (srfi-id? id) (srfi-id-present? id))
24 (string->symbol (regexp-replace #rx"^srfi-([0-9]+)$"
26 "srfi/\\1/\\1"))]