Gecko [ tsuru-no-tsurugi.tokyo ]

Name	Size	Permission	Date
peg	[ DIR ]	drwxr-xr-x	2025-03-06 19:41
and-let-star.scm	2.53 KB	-rw-r--r--	2021-05-10 17:28
arrays.scm	2.63 KB	-rw-r--r--	2021-05-10 17:28
atomic.scm	1.55 KB	-rw-r--r--	2021-05-10 17:28
binary-ports.scm	2.71 KB	-rw-r--r--	2021-05-10 17:28
boot-9.scm	166.42 KB	-rw-r--r--	2021-05-10 17:28
buffered-input.scm	4.82 KB	-rw-r--r--	2021-05-10 17:28
calling.scm	10.54 KB	-rw-r--r--	2021-05-10 17:28
command-line.scm	18.6 KB	-rw-r--r--	2021-05-10 17:28
common-list.scm	8.95 KB	-rw-r--r--	2021-05-10 17:28
control.scm	4.08 KB	-rw-r--r--	2021-05-10 17:28
copy-tree.scm	3.05 KB	-rw-r--r--	2021-05-10 17:28
curried-definitions.scm	1.79 KB	-rw-r--r--	2021-05-10 17:28
deprecated.scm	1.54 KB	-rw-r--r--	2021-05-10 17:28
documentation.scm	7.41 KB	-rw-r--r--	2021-08-27 06:21
eval-string.scm	2.99 KB	-rw-r--r--	2021-05-10 17:28
eval.scm	25.08 KB	-rw-r--r--	2021-05-10 17:28
exceptions.scm	14.38 KB	-rw-r--r--	2021-05-10 17:28
expect.scm	5.5 KB	-rw-r--r--	2021-05-10 17:28
fdes-finalizers.scm	1.06 KB	-rw-r--r--	2021-05-10 17:28
format.scm	65.47 KB	-rw-r--r--	2021-05-10 17:28
ftw.scm	25.06 KB	-rw-r--r--	2021-05-10 17:28
futures.scm	10.49 KB	-rw-r--r--	2021-05-10 17:28
gap-buffer.scm	9.59 KB	-rw-r--r--	2021-05-10 17:28
getopt-long.scm	16.49 KB	-rw-r--r--	2021-05-10 17:28
hash-table.scm	1.77 KB	-rw-r--r--	2021-05-10 17:28
hcons.scm	2.55 KB	-rw-r--r--	2021-05-10 17:28
history.scm	2.29 KB	-rw-r--r--	2021-05-10 17:28
i18n.scm	20.51 KB	-rw-r--r--	2021-05-10 17:28
iconv.scm	3.19 KB	-rw-r--r--	2021-05-10 17:28
lineio.scm	3.85 KB	-rw-r--r--	2021-05-10 17:28
list.scm	1.29 KB	-rw-r--r--	2021-05-10 17:28
local-eval.scm	9.84 KB	-rw-r--r--	2021-05-10 17:28
ls.scm	3.2 KB	-rw-r--r--	2021-05-10 17:28
match.scm	2.18 KB	-rw-r--r--	2021-05-10 17:28
match.upstream.scm	35.93 KB	-rw-r--r--	2021-05-10 17:28
networking.scm	3.33 KB	-rw-r--r--	2021-05-10 17:28
null.scm	1.21 KB	-rw-r--r--	2021-05-10 17:28
occam-channel.scm	7.26 KB	-rw-r--r--	2021-05-10 17:28
optargs.scm	15.75 KB	-rw-r--r--	2021-05-10 17:28
peg.scm	1.64 KB	-rw-r--r--	2021-05-10 17:28
poe.scm	3.3 KB	-rw-r--r--	2021-05-10 17:28
poll.scm	5.79 KB	-rw-r--r--	2021-05-10 17:28
popen.scm	9.27 KB	-rw-r--r--	2021-05-10 17:28
ports.scm	19.08 KB	-rw-r--r--	2021-05-10 17:28
posix.scm	2.73 KB	-rw-r--r--	2021-05-10 17:28
pretty-print.scm	16.88 KB	-rw-r--r--	2021-05-10 17:28
psyntax-pp.scm	182.88 KB	-rw-r--r--	2021-05-10 17:28
psyntax.scm	148.97 KB	-rw-r--r--	2021-08-27 06:21
q.scm	4.2 KB	-rw-r--r--	2021-05-10 17:28
quasisyntax.scm	5.22 KB	-rw-r--r--	2021-05-10 17:28
r5rs.scm	1.56 KB	-rw-r--r--	2021-05-10 17:28
r6rs-libraries.scm	10.38 KB	-rw-r--r--	2021-05-10 17:28
r7rs-libraries.scm	4.28 KB	-rw-r--r--	2021-05-10 17:28
rdelim.scm	7.72 KB	-rw-r--r--	2021-05-10 17:28
read.scm	32.52 KB	-rw-r--r--	2021-05-10 17:28
readline.scm	9.56 KB	-rw-r--r--	2021-05-10 17:28
receive.scm	1.06 KB	-rw-r--r--	2021-05-10 17:28
regex.scm	8.87 KB	-rw-r--r--	2021-05-10 17:28
runq.scm	8.18 KB	-rw-r--r--	2021-05-10 17:28
rw.scm	1.02 KB	-rw-r--r--	2021-05-10 17:28
safe-r5rs.scm	7.5 KB	-rw-r--r--	2021-05-10 17:28
safe.scm	1.25 KB	-rw-r--r--	2021-05-10 17:28
sandbox.scm	34.24 KB	-rw-r--r--	2021-05-10 17:28
save-stack.scm	2.15 KB	-rw-r--r--	2021-05-10 17:28
scm-style-repl.scm	11.62 KB	-rw-r--r--	2021-05-10 17:28
serialize.scm	3.78 KB	-rw-r--r--	2021-05-10 17:28
session.scm	17.72 KB	-rw-r--r--	2021-05-10 17:28
slib.scm	1.55 KB	-rw-r--r--	2021-05-10 17:28
stack-catch.scm	1.94 KB	-rw-r--r--	2021-05-10 17:28
streams.scm	5.86 KB	-rw-r--r--	2021-05-10 17:28
string-fun.scm	9.68 KB	-rw-r--r--	2021-05-10 17:28
suspendable-ports.scm	29.86 KB	-rw-r--r--	2021-05-10 17:28
textual-ports.scm	2.29 KB	-rw-r--r--	2021-05-10 17:28
threads.scm	12.54 KB	-rw-r--r--	2021-05-10 17:28
time.scm	2.07 KB	-rw-r--r--	2021-05-10 17:28
top-repl.scm	2.63 KB	-rw-r--r--	2021-05-10 17:28
unicode.scm	1005 B	-rw-r--r--	2021-05-10 17:28
vlist.scm	21.56 KB	-rw-r--r--	2021-05-10 17:28
weak-vector.scm	1.2 KB	-rw-r--r--	2021-05-10 17:28

Rename

;; Quasisyntax in terms of syntax-case.
;;
;; Code taken from
;; <http://www.het.brown.edu/people/andre/macros/index.html>;
;; Copyright (c) 2006 Andre van Tonder. All Rights Reserved.
;;
;; Permission is hereby granted, free of charge, to any person
;; obtaining a copy of this software and associated documentation
;; files (the "Software"), to deal in the Software without
;; restriction, including without limitation the rights to use, copy,
;; modify, merge, publish, distribute, sublicense, and/or sell copies
;; of the Software, and to permit persons to whom the Software is
;; furnished to do so, subject to the following conditions:
;;
;; The above copyright notice and this permission notice shall be
;; included in all copies or substantial portions of the Software.
;;
;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
;; EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
;; MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
;; NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
;; BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
;; ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
;; CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
;; SOFTWARE.

;;=========================================================
;;
;; To make nested unquote-splicing behave in a useful way,
;; the R5RS-compatible extension of quasiquote in appendix B
;; of the following paper is here ported to quasisyntax:
;;
;; Alan Bawden - Quasiquotation in Lisp
;; http://citeseer.ist.psu.edu/bawden99quasiquotation.html
;;
;; The algorithm converts a quasisyntax expression to an
;; equivalent with-syntax expression.
;; For example:
;;
;; (quasisyntax (set! #,a #,b))
;;   ==> (with-syntax ((t0 a)
;;                     (t1 b))
;;         (syntax (set! t0 t1)))
;;
;; (quasisyntax (list #,@args))
;;   ==> (with-syntax (((t ...) args))
;;         (syntax (list t ...)))
;;
;; Note that quasisyntax is expanded first, before any
;; ellipses act.  For example:
;;
;; (quasisyntax (f ((b #,a) ...))
;;   ==> (with-syntax ((t a))
;;         (syntax (f ((b t) ...))))
;;
;; so that
;;
;; (let-syntax ((test-ellipses-over-unsyntax
;;               (lambda (e)
;;                 (let ((a (syntax a)))
;;                   (with-syntax (((b ...) (syntax (1 2 3))))
;;                     (quasisyntax
;;                      (quote ((b #,a) ...))))))))
;;   (test-ellipses-over-unsyntax))
;;
;;     ==> ((1 a) (2 a) (3 a))
(define-syntax quasisyntax
  (lambda (e)

;; Expand returns a list of the form
    ;;    [template[t/e, ...] (replacement ...)]
    ;; Here template[t/e ...] denotes the original template
    ;; with unquoted expressions e replaced by fresh
    ;; variables t, followed by the appropriate ellipses
    ;; if e is also spliced.
    ;; The second part of the return value is the list of
    ;; replacements, each of the form (t e) if e is just
    ;; unquoted, or ((t ...) e) if e is also spliced.
    ;; This will be the list of bindings of the resulting
    ;; with-syntax expression.

(define (expand x level)
      (syntax-case x (quasisyntax unsyntax unsyntax-splicing)
        ((quasisyntax e)
         (with-syntax (((k _)     x) ;; original identifier must be copied
                       ((e* reps) (expand (syntax e) (+ level 1))))
           (syntax ((k e*) reps))))
        ((unsyntax e)
         (= level 0)
         (with-syntax (((t) (generate-temporaries '(t))))
           (syntax (t ((t e))))))
        (((unsyntax e ...) . r)
         (= level 0)
         (with-syntax (((r* (rep ...)) (expand (syntax r) 0))
                       ((t ...)        (generate-temporaries (syntax (e ...)))))
           (syntax ((t ... . r*)
                    ((t e) ... rep ...)))))
        (((unsyntax-splicing e ...) . r)
         (= level 0)
         (with-syntax (((r* (rep ...)) (expand (syntax r) 0))
                       ((t ...)        (generate-temporaries (syntax (e ...)))))
           (with-syntax ((((t ...) ...) (syntax ((t (... ...)) ...))))
             (syntax ((t ... ... . r*)
                      (((t ...) e) ... rep ...))))))
        ((k . r)
         (and (> level 0)
              (identifier? (syntax k))
              (or (free-identifier=? (syntax k) (syntax unsyntax))
                  (free-identifier=? (syntax k) (syntax unsyntax-splicing))))
         (with-syntax (((r* reps) (expand (syntax r) (- level 1))))
           (syntax ((k . r*) reps))))
        ((h . t)
         (with-syntax (((h* (rep1 ...)) (expand (syntax h) level))
                       ((t* (rep2 ...)) (expand (syntax t) level)))
           (syntax ((h* . t*)
                    (rep1 ... rep2 ...)))))
        (#(e ...)
         (with-syntax ((((e* ...) reps)
                        (expand (vector->list (syntax #(e ...))) level)))
           (syntax (#(e* ...) reps))))
        (other
         (syntax (other ())))))

(syntax-case e ()
      ((_ template)
       (with-syntax (((template* replacements) (expand (syntax template) 0)))
         (syntax
          (with-syntax replacements (syntax template*))))))))

(define-syntax unsyntax
  (lambda (e)
    (syntax-violation 'unsyntax "Invalid expression" e)))

(define-syntax unsyntax-splicing
  (lambda (e)
    (syntax-violation 'unsyntax "Invalid expression" e)))