diff options
author | Mark H Weaver <mhw@netris.org> | 2012-03-02 18:40:43 -0500 |
---|---|---|
committer | Mark H Weaver <mhw@netris.org> | 2012-03-03 18:06:59 -0500 |
commit | 1af6d2a717f499564fbbc297c79e00ac14b0dcf9 (patch) | |
tree | 8bff86246bf0ff8f1fe2d5585f0d52fcfaa04bbe /module | |
parent | 72ee0ef71b9a0514874976cdcf3ea9d5333db4b1 (diff) | |
download | guile-1af6d2a717f499564fbbc297c79e00ac14b0dcf9.tar.gz |
Minimize size of embedded syntax objects in psyntax-pp.scm
* module/ice-9/compile-psyntax.scm: Minimize syntax object literals
embedded in psyntax-pp.scm.
* module/ice-9/psyntax.scm: Rename a few variables so that syntax
objects embedded in macros have no lexical bindings, so that their
minimized syntax objects will have no embedded labels. These labels
were the last remaining gensym counters in psyntax-pp.scm.
* module/ice-9/psyntax-pp.scm: Regenerate. It is now less than one
quarter of its previous size! More importantly, this file no longer
contains any gensym counters, which means that in the future, local
changes to psyntax.scm will usually result in only local changes to
psyntax-pp.scm.
Diffstat (limited to 'module')
-rw-r--r-- | module/ice-9/compile-psyntax.scm | 68 | ||||
-rw-r--r-- | module/ice-9/psyntax-pp.scm | 8297 | ||||
-rw-r--r-- | module/ice-9/psyntax.scm | 8 |
3 files changed, 220 insertions, 8153 deletions
diff --git a/module/ice-9/compile-psyntax.scm b/module/ice-9/compile-psyntax.scm index ee0bd9efd..201ae395e 100644 --- a/module/ice-9/compile-psyntax.scm +++ b/module/ice-9/compile-psyntax.scm @@ -19,9 +19,68 @@ (use-modules (language tree-il) (language tree-il primitives) (language tree-il canonicalize) + (srfi srfi-1) (ice-9 pretty-print) (system syntax)) +;; Minimize a syntax-object such that it can no longer be used as the +;; first argument to 'datum->syntax', but is otherwise equivalent. +(define (squeeze-syntax-object! syn) + (define (ensure-list x) (if (vector? x) (vector->list x) x)) + (let ((x (vector-ref syn 1)) + (wrap (vector-ref syn 2)) + (mod (vector-ref syn 3))) + (let ((marks (car wrap)) + (subst (cdr wrap))) + (define (set-wrap! marks subst) + (vector-set! syn 2 (cons marks subst))) + (cond + ((symbol? x) + (let loop ((marks marks) (subst subst)) + (cond + ((null? subst) (set-wrap! marks subst) syn) + ((eq? 'shift (car subst)) (loop (cdr marks) (cdr subst))) + ((find (lambda (entry) (and (eq? x (car entry)) + (equal? marks (cadr entry)))) + (apply map list (map ensure-list + (cdr (vector->list (car subst)))))) + => (lambda (entry) + (set-wrap! marks + (list (list->vector + (cons 'ribcage + (map vector entry))))) + syn)) + (else (loop marks (cdr subst)))))) + ((or (pair? x) (vector? x)) + syn) + (else x))))) + +(define (squeeze-constant! x) + (define (syntax-object? x) + (and (vector? x) + (= 4 (vector-length x)) + (eq? 'syntax-object (vector-ref x 0)))) + (cond ((syntax-object? x) + (squeeze-syntax-object! x)) + ((pair? x) + (set-car! x (squeeze-constant! (car x))) + (set-cdr! x (squeeze-constant! (cdr x))) + x) + ((vector? x) + (for-each (lambda (i) + (vector-set! x i (squeeze-constant! (vector-ref x i)))) + (iota (vector-length x))) + x) + (else x))) + +(define (squeeze-tree-il! x) + (post-order! (lambda (x) + (if (const? x) + (set! (const-exp x) + (squeeze-constant! (const-exp x)))) + #f) + x)) + ;; Avoid gratuitous churn in psyntax-pp.scm due to the marks and labels ;; changing session identifiers. (set! syntax-session-id (lambda () "*")) @@ -40,10 +99,11 @@ (close-port in)) (begin (pretty-print (tree-il->scheme - (canonicalize! - (resolve-primitives! - (macroexpand x 'c '(compile load eval)) - (current-module))) + (squeeze-tree-il! + (canonicalize! + (resolve-primitives! + (macroexpand x 'c '(compile load eval)) + (current-module)))) (current-module) (list #:avoid-lambda? #f #:use-case? #f diff --git a/module/ice-9/psyntax-pp.scm b/module/ice-9/psyntax-pp.scm index a4e983203..5635a6ae0 100644 --- a/module/ice-9/psyntax-pp.scm +++ b/module/ice-9/psyntax-pp.scm @@ -752,469 +752,7 @@ (wrap name w mod) (wrap e w mod) (decorate-source - (cons '#(syntax-object - lambda - ((top) - #(ribcage - #(name args e1 e2) - #((top) (top) (top) (top)) - #("l-*-1902" "l-*-1903" "l-*-1904" "l-*-1905")) - #(ribcage () () ()) - #(ribcage #(key) #((m-*-1867 top)) #("l-*-1868")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage - #(ftype fval fform fe fw fs fmod) - #((top) (top) (top) (top) (top) (top) (top)) - #("l-*-1860" - "l-*-1861" - "l-*-1862" - "l-*-1863" - "l-*-1864" - "l-*-1865" - "l-*-1866")) - #(ribcage () () ()) - #(ribcage #(first) #((top)) #("l-*-1851")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage - #(e r w s rib mod for-car?) - #((top) (top) (top) (top) (top) (top) (top)) - #("l-*-1827" - "l-*-1828" - "l-*-1829" - "l-*-1830" - "l-*-1831" - "l-*-1832" - "l-*-1833")) - #(ribcage - (lambda-var-list - gen-var - strip - expand-lambda-case - lambda*-formals - expand-simple-lambda - lambda-formals - ellipsis? - expand-void - eval-local-transformer - expand-local-syntax - expand-body - expand-macro - expand-application - expand-expr - expand - syntax-type - parse-when-list - expand-install-global - expand-top-sequence - expand-sequence - source-wrap - wrap - bound-id-member? - distinct-bound-ids? - valid-bound-ids? - bound-id=? - free-id=? - with-transformer-environment - transformer-environment - resolve-identifier - locally-bound-identifiers - id-var-name - same-marks? - join-marks - join-wraps - smart-append - make-binding-wrap - extend-ribcage! - make-empty-ribcage - new-mark - anti-mark - the-anti-mark - top-marked? - top-wrap - empty-wrap - set-ribcage-labels! - set-ribcage-marks! - set-ribcage-symnames! - ribcage-labels - ribcage-marks - ribcage-symnames - ribcage? - make-ribcage - gen-labels - gen-label - make-rename - rename-marks - rename-new - rename-old - subst-rename? - wrap-subst - wrap-marks - make-wrap - id-sym-name&marks - id-sym-name - id? - nonsymbol-id? - global-extend - lookup - macros-only-env - extend-var-env - extend-env - null-env - binding-value - binding-type - make-binding - arg-check - source-annotation - no-source - set-syntax-object-module! - set-syntax-object-wrap! - set-syntax-object-expression! - syntax-object-module - syntax-object-wrap - syntax-object-expression - syntax-object? - make-syntax-object - build-lexical-var - build-letrec - build-named-let - build-let - build-sequence - build-data - build-primref - build-lambda-case - build-case-lambda - build-simple-lambda - build-global-definition - build-global-assignment - build-global-reference - analyze-variable - build-lexical-assignment - build-lexical-reference - build-dynlet - build-conditional - build-application - build-void - maybe-name-value! - decorate-source - get-global-definition-hook - put-global-definition-hook - session-id - local-eval-hook - top-level-eval-hook - fx< - fx= - fx- - fx+ - set-lambda-meta! - lambda-meta - lambda? - make-dynlet - make-letrec - make-let - make-lambda-case - make-lambda - make-sequence - make-application - make-conditional - make-toplevel-define - make-toplevel-set - make-toplevel-ref - make-module-set - make-module-ref - make-lexical-set - make-lexical-ref - make-primitive-ref - make-const - make-void) - ((top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-476" - "l-*-474" - "l-*-472" - "l-*-470" - "l-*-468" - "l-*-466" - "l-*-464" - "l-*-462" - "l-*-460" - "l-*-458" - "l-*-456" - "l-*-454" - "l-*-452" - "l-*-450" - "l-*-448" - "l-*-446" - "l-*-444" - "l-*-442" - "l-*-440" - "l-*-438" - "l-*-436" - "l-*-434" - "l-*-432" - "l-*-430" - "l-*-428" - "l-*-426" - "l-*-424" - "l-*-422" - "l-*-420" - "l-*-418" - "l-*-416" - "l-*-414" - "l-*-412" - "l-*-410" - "l-*-408" - "l-*-406" - "l-*-404" - "l-*-402" - "l-*-400" - "l-*-399" - "l-*-397" - "l-*-394" - "l-*-393" - "l-*-392" - "l-*-390" - "l-*-389" - "l-*-387" - "l-*-385" - "l-*-383" - "l-*-381" - "l-*-379" - "l-*-377" - "l-*-375" - "l-*-373" - "l-*-370" - "l-*-368" - "l-*-367" - "l-*-365" - "l-*-363" - "l-*-361" - "l-*-359" - "l-*-358" - "l-*-357" - "l-*-356" - "l-*-354" - "l-*-353" - "l-*-350" - "l-*-348" - "l-*-346" - "l-*-344" - "l-*-342" - "l-*-340" - "l-*-338" - "l-*-337" - "l-*-336" - "l-*-334" - "l-*-332" - "l-*-331" - "l-*-328" - "l-*-327" - "l-*-325" - "l-*-323" - "l-*-321" - "l-*-319" - "l-*-317" - "l-*-315" - "l-*-313" - "l-*-311" - "l-*-309" - "l-*-306" - "l-*-304" - "l-*-302" - "l-*-300" - "l-*-298" - "l-*-296" - "l-*-294" - "l-*-292" - "l-*-290" - "l-*-288" - "l-*-286" - "l-*-284" - "l-*-282" - "l-*-280" - "l-*-278" - "l-*-276" - "l-*-274" - "l-*-272" - "l-*-270" - "l-*-268" - "l-*-266" - "l-*-264" - "l-*-262" - "l-*-260" - "l-*-258" - "l-*-256" - "l-*-255" - "l-*-254" - "l-*-253" - "l-*-252" - "l-*-250" - "l-*-248" - "l-*-246" - "l-*-243" - "l-*-241" - "l-*-239" - "l-*-237" - "l-*-235" - "l-*-233" - "l-*-231" - "l-*-229" - "l-*-227" - "l-*-225" - "l-*-223" - "l-*-221" - "l-*-219" - "l-*-217" - "l-*-215" - "l-*-213" - "l-*-211" - "l-*-209")) - #(ribcage - (define-structure - define-expansion-accessors - define-expansion-constructors) - ((top) (top) (top)) - ("l-*-47" "l-*-46" "l-*-45"))) - (hygiene guile)) + (cons '#(syntax-object lambda ((top)) (hygiene guile)) (wrap (cons args (cons e1 e2)) w mod)) s) '(()) @@ -1228,1386 +766,7 @@ 'define-form (wrap name w mod) (wrap e w mod) - '(#(syntax-object - if - ((top) - #(ribcage #(name) #((top)) #("l-*-1915")) - #(ribcage () () ()) - #(ribcage #(key) #((m-*-1867 top)) #("l-*-1868")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage - #(ftype fval fform fe fw fs fmod) - #((top) (top) (top) (top) (top) (top) (top)) - #("l-*-1860" - "l-*-1861" - "l-*-1862" - "l-*-1863" - "l-*-1864" - "l-*-1865" - "l-*-1866")) - #(ribcage () () ()) - #(ribcage #(first) #((top)) #("l-*-1851")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage - #(e r w s rib mod for-car?) - #((top) (top) (top) (top) (top) (top) (top)) - #("l-*-1827" - "l-*-1828" - "l-*-1829" - "l-*-1830" - "l-*-1831" - "l-*-1832" - "l-*-1833")) - #(ribcage - (lambda-var-list - gen-var - strip - expand-lambda-case - lambda*-formals - expand-simple-lambda - lambda-formals - ellipsis? - expand-void - eval-local-transformer - expand-local-syntax - expand-body - expand-macro - expand-application - expand-expr - expand - syntax-type - parse-when-list - expand-install-global - expand-top-sequence - expand-sequence - source-wrap - wrap - bound-id-member? - distinct-bound-ids? - valid-bound-ids? - bound-id=? - free-id=? - with-transformer-environment - transformer-environment - resolve-identifier - locally-bound-identifiers - id-var-name - same-marks? - join-marks - join-wraps - smart-append - make-binding-wrap - extend-ribcage! - make-empty-ribcage - new-mark - anti-mark - the-anti-mark - top-marked? - top-wrap - empty-wrap - set-ribcage-labels! - set-ribcage-marks! - set-ribcage-symnames! - ribcage-labels - ribcage-marks - ribcage-symnames - ribcage? - make-ribcage - gen-labels - gen-label - make-rename - rename-marks - rename-new - rename-old - subst-rename? - wrap-subst - wrap-marks - make-wrap - id-sym-name&marks - id-sym-name - id? - nonsymbol-id? - global-extend - lookup - macros-only-env - extend-var-env - extend-env - null-env - binding-value - binding-type - make-binding - arg-check - source-annotation - no-source - set-syntax-object-module! - set-syntax-object-wrap! - set-syntax-object-expression! - syntax-object-module - syntax-object-wrap - syntax-object-expression - syntax-object? - make-syntax-object - build-lexical-var - build-letrec - build-named-let - build-let - build-sequence - build-data - build-primref - build-lambda-case - build-case-lambda - build-simple-lambda - build-global-definition - build-global-assignment - build-global-reference - analyze-variable - build-lexical-assignment - build-lexical-reference - build-dynlet - build-conditional - build-application - build-void - maybe-name-value! - decorate-source - get-global-definition-hook - put-global-definition-hook - session-id - local-eval-hook - top-level-eval-hook - fx< - fx= - fx- - fx+ - set-lambda-meta! - lambda-meta - lambda? - make-dynlet - make-letrec - make-let - make-lambda-case - make-lambda - make-sequence - make-application - make-conditional - make-toplevel-define - make-toplevel-set - make-toplevel-ref - make-module-set - make-module-ref - make-lexical-set - make-lexical-ref - make-primitive-ref - make-const - make-void) - ((top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-476" - "l-*-474" - "l-*-472" - "l-*-470" - "l-*-468" - "l-*-466" - "l-*-464" - "l-*-462" - "l-*-460" - "l-*-458" - "l-*-456" - "l-*-454" - "l-*-452" - "l-*-450" - "l-*-448" - "l-*-446" - "l-*-444" - "l-*-442" - "l-*-440" - "l-*-438" - "l-*-436" - "l-*-434" - "l-*-432" - "l-*-430" - "l-*-428" - "l-*-426" - "l-*-424" - "l-*-422" - "l-*-420" - "l-*-418" - "l-*-416" - "l-*-414" - "l-*-412" - "l-*-410" - "l-*-408" - "l-*-406" - "l-*-404" - "l-*-402" - "l-*-400" - "l-*-399" - "l-*-397" - "l-*-394" - "l-*-393" - "l-*-392" - "l-*-390" - "l-*-389" - "l-*-387" - "l-*-385" - "l-*-383" - "l-*-381" - "l-*-379" - "l-*-377" - "l-*-375" - "l-*-373" - "l-*-370" - "l-*-368" - "l-*-367" - "l-*-365" - "l-*-363" - "l-*-361" - "l-*-359" - "l-*-358" - "l-*-357" - "l-*-356" - "l-*-354" - "l-*-353" - "l-*-350" - "l-*-348" - "l-*-346" - "l-*-344" - "l-*-342" - "l-*-340" - "l-*-338" - "l-*-337" - "l-*-336" - "l-*-334" - "l-*-332" - "l-*-331" - "l-*-328" - "l-*-327" - "l-*-325" - "l-*-323" - "l-*-321" - "l-*-319" - "l-*-317" - "l-*-315" - "l-*-313" - "l-*-311" - "l-*-309" - "l-*-306" - "l-*-304" - "l-*-302" - "l-*-300" - "l-*-298" - "l-*-296" - "l-*-294" - "l-*-292" - "l-*-290" - "l-*-288" - "l-*-286" - "l-*-284" - "l-*-282" - "l-*-280" - "l-*-278" - "l-*-276" - "l-*-274" - "l-*-272" - "l-*-270" - "l-*-268" - "l-*-266" - "l-*-264" - "l-*-262" - "l-*-260" - "l-*-258" - "l-*-256" - "l-*-255" - "l-*-254" - "l-*-253" - "l-*-252" - "l-*-250" - "l-*-248" - "l-*-246" - "l-*-243" - "l-*-241" - "l-*-239" - "l-*-237" - "l-*-235" - "l-*-233" - "l-*-231" - "l-*-229" - "l-*-227" - "l-*-225" - "l-*-223" - "l-*-221" - "l-*-219" - "l-*-217" - "l-*-215" - "l-*-213" - "l-*-211" - "l-*-209")) - #(ribcage - (define-structure - define-expansion-accessors - define-expansion-constructors) - ((top) (top) (top)) - ("l-*-47" "l-*-46" "l-*-45"))) - (hygiene guile)) - #(syntax-object - #f - ((top) - #(ribcage #(name) #((top)) #("l-*-1915")) - #(ribcage () () ()) - #(ribcage #(key) #((m-*-1867 top)) #("l-*-1868")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage - #(ftype fval fform fe fw fs fmod) - #((top) (top) (top) (top) (top) (top) (top)) - #("l-*-1860" - "l-*-1861" - "l-*-1862" - "l-*-1863" - "l-*-1864" - "l-*-1865" - "l-*-1866")) - #(ribcage () () ()) - #(ribcage #(first) #((top)) #("l-*-1851")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage - #(e r w s rib mod for-car?) - #((top) (top) (top) (top) (top) (top) (top)) - #("l-*-1827" - "l-*-1828" - "l-*-1829" - "l-*-1830" - "l-*-1831" - "l-*-1832" - "l-*-1833")) - #(ribcage - (lambda-var-list - gen-var - strip - expand-lambda-case - lambda*-formals - expand-simple-lambda - lambda-formals - ellipsis? - expand-void - eval-local-transformer - expand-local-syntax - expand-body - expand-macro - expand-application - expand-expr - expand - syntax-type - parse-when-list - expand-install-global - expand-top-sequence - expand-sequence - source-wrap - wrap - bound-id-member? - distinct-bound-ids? - valid-bound-ids? - bound-id=? - free-id=? - with-transformer-environment - transformer-environment - resolve-identifier - locally-bound-identifiers - id-var-name - same-marks? - join-marks - join-wraps - smart-append - make-binding-wrap - extend-ribcage! - make-empty-ribcage - new-mark - anti-mark - the-anti-mark - top-marked? - top-wrap - empty-wrap - set-ribcage-labels! - set-ribcage-marks! - set-ribcage-symnames! - ribcage-labels - ribcage-marks - ribcage-symnames - ribcage? - make-ribcage - gen-labels - gen-label - make-rename - rename-marks - rename-new - rename-old - subst-rename? - wrap-subst - wrap-marks - make-wrap - id-sym-name&marks - id-sym-name - id? - nonsymbol-id? - global-extend - lookup - macros-only-env - extend-var-env - extend-env - null-env - binding-value - binding-type - make-binding - arg-check - source-annotation - no-source - set-syntax-object-module! - set-syntax-object-wrap! - set-syntax-object-expression! - syntax-object-module - syntax-object-wrap - syntax-object-expression - syntax-object? - make-syntax-object - build-lexical-var - build-letrec - build-named-let - build-let - build-sequence - build-data - build-primref - build-lambda-case - build-case-lambda - build-simple-lambda - build-global-definition - build-global-assignment - build-global-reference - analyze-variable - build-lexical-assignment - build-lexical-reference - build-dynlet - build-conditional - build-application - build-void - maybe-name-value! - decorate-source - get-global-definition-hook - put-global-definition-hook - session-id - local-eval-hook - top-level-eval-hook - fx< - fx= - fx- - fx+ - set-lambda-meta! - lambda-meta - lambda? - make-dynlet - make-letrec - make-let - make-lambda-case - make-lambda - make-sequence - make-application - make-conditional - make-toplevel-define - make-toplevel-set - make-toplevel-ref - make-module-set - make-module-ref - make-lexical-set - make-lexical-ref - make-primitive-ref - make-const - make-void) - ((top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-476" - "l-*-474" - "l-*-472" - "l-*-470" - "l-*-468" - "l-*-466" - "l-*-464" - "l-*-462" - "l-*-460" - "l-*-458" - "l-*-456" - "l-*-454" - "l-*-452" - "l-*-450" - "l-*-448" - "l-*-446" - "l-*-444" - "l-*-442" - "l-*-440" - "l-*-438" - "l-*-436" - "l-*-434" - "l-*-432" - "l-*-430" - "l-*-428" - "l-*-426" - "l-*-424" - "l-*-422" - "l-*-420" - "l-*-418" - "l-*-416" - "l-*-414" - "l-*-412" - "l-*-410" - "l-*-408" - "l-*-406" - "l-*-404" - "l-*-402" - "l-*-400" - "l-*-399" - "l-*-397" - "l-*-394" - "l-*-393" - "l-*-392" - "l-*-390" - "l-*-389" - "l-*-387" - "l-*-385" - "l-*-383" - "l-*-381" - "l-*-379" - "l-*-377" - "l-*-375" - "l-*-373" - "l-*-370" - "l-*-368" - "l-*-367" - "l-*-365" - "l-*-363" - "l-*-361" - "l-*-359" - "l-*-358" - "l-*-357" - "l-*-356" - "l-*-354" - "l-*-353" - "l-*-350" - "l-*-348" - "l-*-346" - "l-*-344" - "l-*-342" - "l-*-340" - "l-*-338" - "l-*-337" - "l-*-336" - "l-*-334" - "l-*-332" - "l-*-331" - "l-*-328" - "l-*-327" - "l-*-325" - "l-*-323" - "l-*-321" - "l-*-319" - "l-*-317" - "l-*-315" - "l-*-313" - "l-*-311" - "l-*-309" - "l-*-306" - "l-*-304" - "l-*-302" - "l-*-300" - "l-*-298" - "l-*-296" - "l-*-294" - "l-*-292" - "l-*-290" - "l-*-288" - "l-*-286" - "l-*-284" - "l-*-282" - "l-*-280" - "l-*-278" - "l-*-276" - "l-*-274" - "l-*-272" - "l-*-270" - "l-*-268" - "l-*-266" - "l-*-264" - "l-*-262" - "l-*-260" - "l-*-258" - "l-*-256" - "l-*-255" - "l-*-254" - "l-*-253" - "l-*-252" - "l-*-250" - "l-*-248" - "l-*-246" - "l-*-243" - "l-*-241" - "l-*-239" - "l-*-237" - "l-*-235" - "l-*-233" - "l-*-231" - "l-*-229" - "l-*-227" - "l-*-225" - "l-*-223" - "l-*-221" - "l-*-219" - "l-*-217" - "l-*-215" - "l-*-213" - "l-*-211" - "l-*-209")) - #(ribcage - (define-structure - define-expansion-accessors - define-expansion-constructors) - ((top) (top) (top)) - ("l-*-47" "l-*-46" "l-*-45"))) - (hygiene guile)) - #(syntax-object - #f - ((top) - #(ribcage #(name) #((top)) #("l-*-1915")) - #(ribcage () () ()) - #(ribcage #(key) #((m-*-1867 top)) #("l-*-1868")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage - #(ftype fval fform fe fw fs fmod) - #((top) (top) (top) (top) (top) (top) (top)) - #("l-*-1860" - "l-*-1861" - "l-*-1862" - "l-*-1863" - "l-*-1864" - "l-*-1865" - "l-*-1866")) - #(ribcage () () ()) - #(ribcage #(first) #((top)) #("l-*-1851")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage - #(e r w s rib mod for-car?) - #((top) (top) (top) (top) (top) (top) (top)) - #("l-*-1827" - "l-*-1828" - "l-*-1829" - "l-*-1830" - "l-*-1831" - "l-*-1832" - "l-*-1833")) - #(ribcage - (lambda-var-list - gen-var - strip - expand-lambda-case - lambda*-formals - expand-simple-lambda - lambda-formals - ellipsis? - expand-void - eval-local-transformer - expand-local-syntax - expand-body - expand-macro - expand-application - expand-expr - expand - syntax-type - parse-when-list - expand-install-global - expand-top-sequence - expand-sequence - source-wrap - wrap - bound-id-member? - distinct-bound-ids? - valid-bound-ids? - bound-id=? - free-id=? - with-transformer-environment - transformer-environment - resolve-identifier - locally-bound-identifiers - id-var-name - same-marks? - join-marks - join-wraps - smart-append - make-binding-wrap - extend-ribcage! - make-empty-ribcage - new-mark - anti-mark - the-anti-mark - top-marked? - top-wrap - empty-wrap - set-ribcage-labels! - set-ribcage-marks! - set-ribcage-symnames! - ribcage-labels - ribcage-marks - ribcage-symnames - ribcage? - make-ribcage - gen-labels - gen-label - make-rename - rename-marks - rename-new - rename-old - subst-rename? - wrap-subst - wrap-marks - make-wrap - id-sym-name&marks - id-sym-name - id? - nonsymbol-id? - global-extend - lookup - macros-only-env - extend-var-env - extend-env - null-env - binding-value - binding-type - make-binding - arg-check - source-annotation - no-source - set-syntax-object-module! - set-syntax-object-wrap! - set-syntax-object-expression! - syntax-object-module - syntax-object-wrap - syntax-object-expression - syntax-object? - make-syntax-object - build-lexical-var - build-letrec - build-named-let - build-let - build-sequence - build-data - build-primref - build-lambda-case - build-case-lambda - build-simple-lambda - build-global-definition - build-global-assignment - build-global-reference - analyze-variable - build-lexical-assignment - build-lexical-reference - build-dynlet - build-conditional - build-application - build-void - maybe-name-value! - decorate-source - get-global-definition-hook - put-global-definition-hook - session-id - local-eval-hook - top-level-eval-hook - fx< - fx= - fx- - fx+ - set-lambda-meta! - lambda-meta - lambda? - make-dynlet - make-letrec - make-let - make-lambda-case - make-lambda - make-sequence - make-application - make-conditional - make-toplevel-define - make-toplevel-set - make-toplevel-ref - make-module-set - make-module-ref - make-lexical-set - make-lexical-ref - make-primitive-ref - make-const - make-void) - ((top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-476" - "l-*-474" - "l-*-472" - "l-*-470" - "l-*-468" - "l-*-466" - "l-*-464" - "l-*-462" - "l-*-460" - "l-*-458" - "l-*-456" - "l-*-454" - "l-*-452" - "l-*-450" - "l-*-448" - "l-*-446" - "l-*-444" - "l-*-442" - "l-*-440" - "l-*-438" - "l-*-436" - "l-*-434" - "l-*-432" - "l-*-430" - "l-*-428" - "l-*-426" - "l-*-424" - "l-*-422" - "l-*-420" - "l-*-418" - "l-*-416" - "l-*-414" - "l-*-412" - "l-*-410" - "l-*-408" - "l-*-406" - "l-*-404" - "l-*-402" - "l-*-400" - "l-*-399" - "l-*-397" - "l-*-394" - "l-*-393" - "l-*-392" - "l-*-390" - "l-*-389" - "l-*-387" - "l-*-385" - "l-*-383" - "l-*-381" - "l-*-379" - "l-*-377" - "l-*-375" - "l-*-373" - "l-*-370" - "l-*-368" - "l-*-367" - "l-*-365" - "l-*-363" - "l-*-361" - "l-*-359" - "l-*-358" - "l-*-357" - "l-*-356" - "l-*-354" - "l-*-353" - "l-*-350" - "l-*-348" - "l-*-346" - "l-*-344" - "l-*-342" - "l-*-340" - "l-*-338" - "l-*-337" - "l-*-336" - "l-*-334" - "l-*-332" - "l-*-331" - "l-*-328" - "l-*-327" - "l-*-325" - "l-*-323" - "l-*-321" - "l-*-319" - "l-*-317" - "l-*-315" - "l-*-313" - "l-*-311" - "l-*-309" - "l-*-306" - "l-*-304" - "l-*-302" - "l-*-300" - "l-*-298" - "l-*-296" - "l-*-294" - "l-*-292" - "l-*-290" - "l-*-288" - "l-*-286" - "l-*-284" - "l-*-282" - "l-*-280" - "l-*-278" - "l-*-276" - "l-*-274" - "l-*-272" - "l-*-270" - "l-*-268" - "l-*-266" - "l-*-264" - "l-*-262" - "l-*-260" - "l-*-258" - "l-*-256" - "l-*-255" - "l-*-254" - "l-*-253" - "l-*-252" - "l-*-250" - "l-*-248" - "l-*-246" - "l-*-243" - "l-*-241" - "l-*-239" - "l-*-237" - "l-*-235" - "l-*-233" - "l-*-231" - "l-*-229" - "l-*-227" - "l-*-225" - "l-*-223" - "l-*-221" - "l-*-219" - "l-*-217" - "l-*-215" - "l-*-213" - "l-*-211" - "l-*-209")) - #(ribcage - (define-structure - define-expansion-accessors - define-expansion-constructors) - ((top) (top) (top)) - ("l-*-47" "l-*-46" "l-*-45"))) - (hygiene guile))) + '(#(syntax-object if ((top)) (hygiene guile)) #f #f) '(()) s mod)) @@ -2948,442 +1107,7 @@ (ellipsis? (lambda (x) (and (nonsymbol-id? x) - (free-id=? - x - '#(syntax-object - ... - ((top) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-2265")) - #(ribcage - (lambda-var-list - gen-var - strip - expand-lambda-case - lambda*-formals - expand-simple-lambda - lambda-formals - ellipsis? - expand-void - eval-local-transformer - expand-local-syntax - expand-body - expand-macro - expand-application - expand-expr - expand - syntax-type - parse-when-list - expand-install-global - expand-top-sequence - expand-sequence - source-wrap - wrap - bound-id-member? - distinct-bound-ids? - valid-bound-ids? - bound-id=? - free-id=? - with-transformer-environment - transformer-environment - resolve-identifier - locally-bound-identifiers - id-var-name - same-marks? - join-marks - join-wraps - smart-append - make-binding-wrap - extend-ribcage! - make-empty-ribcage - new-mark - anti-mark - the-anti-mark - top-marked? - top-wrap - empty-wrap - set-ribcage-labels! - set-ribcage-marks! - set-ribcage-symnames! - ribcage-labels - ribcage-marks - ribcage-symnames - ribcage? - make-ribcage - gen-labels - gen-label - make-rename - rename-marks - rename-new - rename-old - subst-rename? - wrap-subst - wrap-marks - make-wrap - id-sym-name&marks - id-sym-name - id? - nonsymbol-id? - global-extend - lookup - macros-only-env - extend-var-env - extend-env - null-env - binding-value - binding-type - make-binding - arg-check - source-annotation - no-source - set-syntax-object-module! - set-syntax-object-wrap! - set-syntax-object-expression! - syntax-object-module - syntax-object-wrap - syntax-object-expression - syntax-object? - make-syntax-object - build-lexical-var - build-letrec - build-named-let - build-let - build-sequence - build-data - build-primref - build-lambda-case - build-case-lambda - build-simple-lambda - build-global-definition - build-global-assignment - build-global-reference - analyze-variable - build-lexical-assignment - build-lexical-reference - build-dynlet - build-conditional - build-application - build-void - maybe-name-value! - decorate-source - get-global-definition-hook - put-global-definition-hook - session-id - local-eval-hook - top-level-eval-hook - fx< - fx= - fx- - fx+ - set-lambda-meta! - lambda-meta - lambda? - make-dynlet - make-letrec - make-let - make-lambda-case - make-lambda - make-sequence - make-application - make-conditional - make-toplevel-define - make-toplevel-set - make-toplevel-ref - make-module-set - make-module-ref - make-lexical-set - make-lexical-ref - make-primitive-ref - make-const - make-void) - ((top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-476" - "l-*-474" - "l-*-472" - "l-*-470" - "l-*-468" - "l-*-466" - "l-*-464" - "l-*-462" - "l-*-460" - "l-*-458" - "l-*-456" - "l-*-454" - "l-*-452" - "l-*-450" - "l-*-448" - "l-*-446" - "l-*-444" - "l-*-442" - "l-*-440" - "l-*-438" - "l-*-436" - "l-*-434" - "l-*-432" - "l-*-430" - "l-*-428" - "l-*-426" - "l-*-424" - "l-*-422" - "l-*-420" - "l-*-418" - "l-*-416" - "l-*-414" - "l-*-412" - "l-*-410" - "l-*-408" - "l-*-406" - "l-*-404" - "l-*-402" - "l-*-400" - "l-*-399" - "l-*-397" - "l-*-394" - "l-*-393" - "l-*-392" - "l-*-390" - "l-*-389" - "l-*-387" - "l-*-385" - "l-*-383" - "l-*-381" - "l-*-379" - "l-*-377" - "l-*-375" - "l-*-373" - "l-*-370" - "l-*-368" - "l-*-367" - "l-*-365" - "l-*-363" - "l-*-361" - "l-*-359" - "l-*-358" - "l-*-357" - "l-*-356" - "l-*-354" - "l-*-353" - "l-*-350" - "l-*-348" - "l-*-346" - "l-*-344" - "l-*-342" - "l-*-340" - "l-*-338" - "l-*-337" - "l-*-336" - "l-*-334" - "l-*-332" - "l-*-331" - "l-*-328" - "l-*-327" - "l-*-325" - "l-*-323" - "l-*-321" - "l-*-319" - "l-*-317" - "l-*-315" - "l-*-313" - "l-*-311" - "l-*-309" - "l-*-306" - "l-*-304" - "l-*-302" - "l-*-300" - "l-*-298" - "l-*-296" - "l-*-294" - "l-*-292" - "l-*-290" - "l-*-288" - "l-*-286" - "l-*-284" - "l-*-282" - "l-*-280" - "l-*-278" - "l-*-276" - "l-*-274" - "l-*-272" - "l-*-270" - "l-*-268" - "l-*-266" - "l-*-264" - "l-*-262" - "l-*-260" - "l-*-258" - "l-*-256" - "l-*-255" - "l-*-254" - "l-*-253" - "l-*-252" - "l-*-250" - "l-*-248" - "l-*-246" - "l-*-243" - "l-*-241" - "l-*-239" - "l-*-237" - "l-*-235" - "l-*-233" - "l-*-231" - "l-*-229" - "l-*-227" - "l-*-225" - "l-*-223" - "l-*-221" - "l-*-219" - "l-*-217" - "l-*-215" - "l-*-213" - "l-*-211" - "l-*-209")) - #(ribcage - (define-structure - define-expansion-accessors - define-expansion-constructors) - ((top) (top) (top)) - ("l-*-47" "l-*-46" "l-*-45"))) - (hygiene guile)))))) + (free-id=? x '#(syntax-object ... ((top)) (hygiene guile)))))) (lambda-formals (lambda (orig-args) (letrec* @@ -3461,454 +1185,7 @@ (apply (lambda () (check req (reverse ropt) #f '())) tmp-1) (let ((tmp-1 ($sc-dispatch tmp '(any . any)))) (if (and tmp-1 (apply (lambda (a b) (id? a)) tmp-1)) - (apply (lambda (a b) - (opt b - req - (cons (cons a - '(#(syntax-object - #f - ((top) - #(ribcage #(a b) #((top) (top)) #("l-*-2402" "l-*-2403")) - #(ribcage () () ()) - #(ribcage - #(args req ropt) - #((top) (top) (top)) - #("l-*-2392" "l-*-2393" "l-*-2394")) - #(ribcage - (check rest key opt req) - ((top) (top) (top) (top) (top)) - ("l-*-2338" "l-*-2336" "l-*-2334" "l-*-2332" "l-*-2330")) - #(ribcage #(orig-args) #((top)) #("l-*-2329")) - #(ribcage - (lambda-var-list - gen-var - strip - expand-lambda-case - lambda*-formals - expand-simple-lambda - lambda-formals - ellipsis? - expand-void - eval-local-transformer - expand-local-syntax - expand-body - expand-macro - expand-application - expand-expr - expand - syntax-type - parse-when-list - expand-install-global - expand-top-sequence - expand-sequence - source-wrap - wrap - bound-id-member? - distinct-bound-ids? - valid-bound-ids? - bound-id=? - free-id=? - with-transformer-environment - transformer-environment - resolve-identifier - locally-bound-identifiers - id-var-name - same-marks? - join-marks - join-wraps - smart-append - make-binding-wrap - extend-ribcage! - make-empty-ribcage - new-mark - anti-mark - the-anti-mark - top-marked? - top-wrap - empty-wrap - set-ribcage-labels! - set-ribcage-marks! - set-ribcage-symnames! - ribcage-labels - ribcage-marks - ribcage-symnames - ribcage? - make-ribcage - gen-labels - gen-label - make-rename - rename-marks - rename-new - rename-old - subst-rename? - wrap-subst - wrap-marks - make-wrap - id-sym-name&marks - id-sym-name - id? - nonsymbol-id? - global-extend - lookup - macros-only-env - extend-var-env - extend-env - null-env - binding-value - binding-type - make-binding - arg-check - source-annotation - no-source - set-syntax-object-module! - set-syntax-object-wrap! - set-syntax-object-expression! - syntax-object-module - syntax-object-wrap - syntax-object-expression - syntax-object? - make-syntax-object - build-lexical-var - build-letrec - build-named-let - build-let - build-sequence - build-data - build-primref - build-lambda-case - build-case-lambda - build-simple-lambda - build-global-definition - build-global-assignment - build-global-reference - analyze-variable - build-lexical-assignment - build-lexical-reference - build-dynlet - build-conditional - build-application - build-void - maybe-name-value! - decorate-source - get-global-definition-hook - put-global-definition-hook - session-id - local-eval-hook - top-level-eval-hook - fx< - fx= - fx- - fx+ - set-lambda-meta! - lambda-meta - lambda? - make-dynlet - make-letrec - make-let - make-lambda-case - make-lambda - make-sequence - make-application - make-conditional - make-toplevel-define - make-toplevel-set - make-toplevel-ref - make-module-set - make-module-ref - make-lexical-set - make-lexical-ref - make-primitive-ref - make-const - make-void) - ((top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-476" - "l-*-474" - "l-*-472" - "l-*-470" - "l-*-468" - "l-*-466" - "l-*-464" - "l-*-462" - "l-*-460" - "l-*-458" - "l-*-456" - "l-*-454" - "l-*-452" - "l-*-450" - "l-*-448" - "l-*-446" - "l-*-444" - "l-*-442" - "l-*-440" - "l-*-438" - "l-*-436" - "l-*-434" - "l-*-432" - "l-*-430" - "l-*-428" - "l-*-426" - "l-*-424" - "l-*-422" - "l-*-420" - "l-*-418" - "l-*-416" - "l-*-414" - "l-*-412" - "l-*-410" - "l-*-408" - "l-*-406" - "l-*-404" - "l-*-402" - "l-*-400" - "l-*-399" - "l-*-397" - "l-*-394" - "l-*-393" - "l-*-392" - "l-*-390" - "l-*-389" - "l-*-387" - "l-*-385" - "l-*-383" - "l-*-381" - "l-*-379" - "l-*-377" - "l-*-375" - "l-*-373" - "l-*-370" - "l-*-368" - "l-*-367" - "l-*-365" - "l-*-363" - "l-*-361" - "l-*-359" - "l-*-358" - "l-*-357" - "l-*-356" - "l-*-354" - "l-*-353" - "l-*-350" - "l-*-348" - "l-*-346" - "l-*-344" - "l-*-342" - "l-*-340" - "l-*-338" - "l-*-337" - "l-*-336" - "l-*-334" - "l-*-332" - "l-*-331" - "l-*-328" - "l-*-327" - "l-*-325" - "l-*-323" - "l-*-321" - "l-*-319" - "l-*-317" - "l-*-315" - "l-*-313" - "l-*-311" - "l-*-309" - "l-*-306" - "l-*-304" - "l-*-302" - "l-*-300" - "l-*-298" - "l-*-296" - "l-*-294" - "l-*-292" - "l-*-290" - "l-*-288" - "l-*-286" - "l-*-284" - "l-*-282" - "l-*-280" - "l-*-278" - "l-*-276" - "l-*-274" - "l-*-272" - "l-*-270" - "l-*-268" - "l-*-266" - "l-*-264" - "l-*-262" - "l-*-260" - "l-*-258" - "l-*-256" - "l-*-255" - "l-*-254" - "l-*-253" - "l-*-252" - "l-*-250" - "l-*-248" - "l-*-246" - "l-*-243" - "l-*-241" - "l-*-239" - "l-*-237" - "l-*-235" - "l-*-233" - "l-*-231" - "l-*-229" - "l-*-227" - "l-*-225" - "l-*-223" - "l-*-221" - "l-*-219" - "l-*-217" - "l-*-215" - "l-*-213" - "l-*-211" - "l-*-209")) - #(ribcage - (define-structure - define-expansion-accessors - define-expansion-constructors) - ((top) (top) (top)) - ("l-*-47" "l-*-46" "l-*-45"))) - (hygiene guile)))) - ropt))) - tmp-1) + (apply (lambda (a b) (opt b req (cons (cons a '(#f)) ropt))) tmp-1) (let ((tmp-1 ($sc-dispatch tmp '((any any) . any)))) (if (and tmp-1 (apply (lambda (a init b) (id? a)) tmp-1)) (apply (lambda (a init b) (opt b req (cons (list a init) ropt))) @@ -3938,463 +1215,7 @@ (if (and tmp-1 (apply (lambda (a b) (id? a)) tmp-1)) (apply (lambda (a b) (let* ((tmp (symbol->keyword (syntax->datum a))) (k tmp)) - (key b - req - opt - (cons (cons k - (cons a - '(#(syntax-object - #f - ((top) - #(ribcage () () ()) - #(ribcage #(k) #((top)) #("l-*-2465")) - #(ribcage - #(a b) - #((top) (top)) - #("l-*-2459" "l-*-2460")) - #(ribcage () () ()) - #(ribcage - #(args req opt rkey) - #((top) (top) (top) (top)) - #("l-*-2448" "l-*-2449" "l-*-2450" "l-*-2451")) - #(ribcage - (check rest key opt req) - ((top) (top) (top) (top) (top)) - ("l-*-2338" - "l-*-2336" - "l-*-2334" - "l-*-2332" - "l-*-2330")) - #(ribcage #(orig-args) #((top)) #("l-*-2329")) - #(ribcage - (lambda-var-list - gen-var - strip - expand-lambda-case - lambda*-formals - expand-simple-lambda - lambda-formals - ellipsis? - expand-void - eval-local-transformer - expand-local-syntax - expand-body - expand-macro - expand-application - expand-expr - expand - syntax-type - parse-when-list - expand-install-global - expand-top-sequence - expand-sequence - source-wrap - wrap - bound-id-member? - distinct-bound-ids? - valid-bound-ids? - bound-id=? - free-id=? - with-transformer-environment - transformer-environment - resolve-identifier - locally-bound-identifiers - id-var-name - same-marks? - join-marks - join-wraps - smart-append - make-binding-wrap - extend-ribcage! - make-empty-ribcage - new-mark - anti-mark - the-anti-mark - top-marked? - top-wrap - empty-wrap - set-ribcage-labels! - set-ribcage-marks! - set-ribcage-symnames! - ribcage-labels - ribcage-marks - ribcage-symnames - ribcage? - make-ribcage - gen-labels - gen-label - make-rename - rename-marks - rename-new - rename-old - subst-rename? - wrap-subst - wrap-marks - make-wrap - id-sym-name&marks - id-sym-name - id? - nonsymbol-id? - global-extend - lookup - macros-only-env - extend-var-env - extend-env - null-env - binding-value - binding-type - make-binding - arg-check - source-annotation - no-source - set-syntax-object-module! - set-syntax-object-wrap! - set-syntax-object-expression! - syntax-object-module - syntax-object-wrap - syntax-object-expression - syntax-object? - make-syntax-object - build-lexical-var - build-letrec - build-named-let - build-let - build-sequence - build-data - build-primref - build-lambda-case - build-case-lambda - build-simple-lambda - build-global-definition - build-global-assignment - build-global-reference - analyze-variable - build-lexical-assignment - build-lexical-reference - build-dynlet - build-conditional - build-application - build-void - maybe-name-value! - decorate-source - get-global-definition-hook - put-global-definition-hook - session-id - local-eval-hook - top-level-eval-hook - fx< - fx= - fx- - fx+ - set-lambda-meta! - lambda-meta - lambda? - make-dynlet - make-letrec - make-let - make-lambda-case - make-lambda - make-sequence - make-application - make-conditional - make-toplevel-define - make-toplevel-set - make-toplevel-ref - make-module-set - make-module-ref - make-lexical-set - make-lexical-ref - make-primitive-ref - make-const - make-void) - ((top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-476" - "l-*-474" - "l-*-472" - "l-*-470" - "l-*-468" - "l-*-466" - "l-*-464" - "l-*-462" - "l-*-460" - "l-*-458" - "l-*-456" - "l-*-454" - "l-*-452" - "l-*-450" - "l-*-448" - "l-*-446" - "l-*-444" - "l-*-442" - "l-*-440" - "l-*-438" - "l-*-436" - "l-*-434" - "l-*-432" - "l-*-430" - "l-*-428" - "l-*-426" - "l-*-424" - "l-*-422" - "l-*-420" - "l-*-418" - "l-*-416" - "l-*-414" - "l-*-412" - "l-*-410" - "l-*-408" - "l-*-406" - "l-*-404" - "l-*-402" - "l-*-400" - "l-*-399" - "l-*-397" - "l-*-394" - "l-*-393" - "l-*-392" - "l-*-390" - "l-*-389" - "l-*-387" - "l-*-385" - "l-*-383" - "l-*-381" - "l-*-379" - "l-*-377" - "l-*-375" - "l-*-373" - "l-*-370" - "l-*-368" - "l-*-367" - "l-*-365" - "l-*-363" - "l-*-361" - "l-*-359" - "l-*-358" - "l-*-357" - "l-*-356" - "l-*-354" - "l-*-353" - "l-*-350" - "l-*-348" - "l-*-346" - "l-*-344" - "l-*-342" - "l-*-340" - "l-*-338" - "l-*-337" - "l-*-336" - "l-*-334" - "l-*-332" - "l-*-331" - "l-*-328" - "l-*-327" - "l-*-325" - "l-*-323" - "l-*-321" - "l-*-319" - "l-*-317" - "l-*-315" - "l-*-313" - "l-*-311" - "l-*-309" - "l-*-306" - "l-*-304" - "l-*-302" - "l-*-300" - "l-*-298" - "l-*-296" - "l-*-294" - "l-*-292" - "l-*-290" - "l-*-288" - "l-*-286" - "l-*-284" - "l-*-282" - "l-*-280" - "l-*-278" - "l-*-276" - "l-*-274" - "l-*-272" - "l-*-270" - "l-*-268" - "l-*-266" - "l-*-264" - "l-*-262" - "l-*-260" - "l-*-258" - "l-*-256" - "l-*-255" - "l-*-254" - "l-*-253" - "l-*-252" - "l-*-250" - "l-*-248" - "l-*-246" - "l-*-243" - "l-*-241" - "l-*-239" - "l-*-237" - "l-*-235" - "l-*-233" - "l-*-231" - "l-*-229" - "l-*-227" - "l-*-225" - "l-*-223" - "l-*-221" - "l-*-219" - "l-*-217" - "l-*-215" - "l-*-213" - "l-*-211" - "l-*-209")) - #(ribcage - (define-structure - define-expansion-accessors - define-expansion-constructors) - ((top) (top) (top)) - ("l-*-47" "l-*-46" "l-*-45"))) - (hygiene guile))))) - rkey)))) + (key b req opt (cons (cons k (cons a '(#f))) rkey)))) tmp-1) (let ((tmp-1 ($sc-dispatch tmp '((any any) . any)))) (if (and tmp-1 (apply (lambda (a init b) (id? a)) tmp-1)) @@ -5111,461 +1932,7 @@ (build-application s (expand - (list '#(syntax-object - setter - ((top) - #(ribcage () () ()) - #(ribcage #(key) #((m-*-3526 top)) #("l-*-3527")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage - #(type value formform ee ww ss modmod) - #((top) (top) (top) (top) (top) (top) (top)) - #("l-*-3519" - "l-*-3520" - "l-*-3521" - "l-*-3522" - "l-*-3523" - "l-*-3524" - "l-*-3525")) - #(ribcage - #(head tail val) - #((top) (top) (top)) - #("l-*-3504" "l-*-3505" "l-*-3506")) - #(ribcage () () ()) - #(ribcage - #(e r w s mod) - #((top) (top) (top) (top) (top)) - #("l-*-3473" "l-*-3474" "l-*-3475" "l-*-3476" "l-*-3477")) - #(ribcage - (lambda-var-list - gen-var - strip - expand-lambda-case - lambda*-formals - expand-simple-lambda - lambda-formals - ellipsis? - expand-void - eval-local-transformer - expand-local-syntax - expand-body - expand-macro - expand-application - expand-expr - expand - syntax-type - parse-when-list - expand-install-global - expand-top-sequence - expand-sequence - source-wrap - wrap - bound-id-member? - distinct-bound-ids? - valid-bound-ids? - bound-id=? - free-id=? - with-transformer-environment - transformer-environment - resolve-identifier - locally-bound-identifiers - id-var-name - same-marks? - join-marks - join-wraps - smart-append - make-binding-wrap - extend-ribcage! - make-empty-ribcage - new-mark - anti-mark - the-anti-mark - top-marked? - top-wrap - empty-wrap - set-ribcage-labels! - set-ribcage-marks! - set-ribcage-symnames! - ribcage-labels - ribcage-marks - ribcage-symnames - ribcage? - make-ribcage - gen-labels - gen-label - make-rename - rename-marks - rename-new - rename-old - subst-rename? - wrap-subst - wrap-marks - make-wrap - id-sym-name&marks - id-sym-name - id? - nonsymbol-id? - global-extend - lookup - macros-only-env - extend-var-env - extend-env - null-env - binding-value - binding-type - make-binding - arg-check - source-annotation - no-source - set-syntax-object-module! - set-syntax-object-wrap! - set-syntax-object-expression! - syntax-object-module - syntax-object-wrap - syntax-object-expression - syntax-object? - make-syntax-object - build-lexical-var - build-letrec - build-named-let - build-let - build-sequence - build-data - build-primref - build-lambda-case - build-case-lambda - build-simple-lambda - build-global-definition - build-global-assignment - build-global-reference - analyze-variable - build-lexical-assignment - build-lexical-reference - build-dynlet - build-conditional - build-application - build-void - maybe-name-value! - decorate-source - get-global-definition-hook - put-global-definition-hook - session-id - local-eval-hook - top-level-eval-hook - fx< - fx= - fx- - fx+ - set-lambda-meta! - lambda-meta - lambda? - make-dynlet - make-letrec - make-let - make-lambda-case - make-lambda - make-sequence - make-application - make-conditional - make-toplevel-define - make-toplevel-set - make-toplevel-ref - make-module-set - make-module-ref - make-lexical-set - make-lexical-ref - make-primitive-ref - make-const - make-void) - ((top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-476" - "l-*-474" - "l-*-472" - "l-*-470" - "l-*-468" - "l-*-466" - "l-*-464" - "l-*-462" - "l-*-460" - "l-*-458" - "l-*-456" - "l-*-454" - "l-*-452" - "l-*-450" - "l-*-448" - "l-*-446" - "l-*-444" - "l-*-442" - "l-*-440" - "l-*-438" - "l-*-436" - "l-*-434" - "l-*-432" - "l-*-430" - "l-*-428" - "l-*-426" - "l-*-424" - "l-*-422" - "l-*-420" - "l-*-418" - "l-*-416" - "l-*-414" - "l-*-412" - "l-*-410" - "l-*-408" - "l-*-406" - "l-*-404" - "l-*-402" - "l-*-400" - "l-*-399" - "l-*-397" - "l-*-394" - "l-*-393" - "l-*-392" - "l-*-390" - "l-*-389" - "l-*-387" - "l-*-385" - "l-*-383" - "l-*-381" - "l-*-379" - "l-*-377" - "l-*-375" - "l-*-373" - "l-*-370" - "l-*-368" - "l-*-367" - "l-*-365" - "l-*-363" - "l-*-361" - "l-*-359" - "l-*-358" - "l-*-357" - "l-*-356" - "l-*-354" - "l-*-353" - "l-*-350" - "l-*-348" - "l-*-346" - "l-*-344" - "l-*-342" - "l-*-340" - "l-*-338" - "l-*-337" - "l-*-336" - "l-*-334" - "l-*-332" - "l-*-331" - "l-*-328" - "l-*-327" - "l-*-325" - "l-*-323" - "l-*-321" - "l-*-319" - "l-*-317" - "l-*-315" - "l-*-313" - "l-*-311" - "l-*-309" - "l-*-306" - "l-*-304" - "l-*-302" - "l-*-300" - "l-*-298" - "l-*-296" - "l-*-294" - "l-*-292" - "l-*-290" - "l-*-288" - "l-*-286" - "l-*-284" - "l-*-282" - "l-*-280" - "l-*-278" - "l-*-276" - "l-*-274" - "l-*-272" - "l-*-270" - "l-*-268" - "l-*-266" - "l-*-264" - "l-*-262" - "l-*-260" - "l-*-258" - "l-*-256" - "l-*-255" - "l-*-254" - "l-*-253" - "l-*-252" - "l-*-250" - "l-*-248" - "l-*-246" - "l-*-243" - "l-*-241" - "l-*-239" - "l-*-237" - "l-*-235" - "l-*-233" - "l-*-231" - "l-*-229" - "l-*-227" - "l-*-225" - "l-*-223" - "l-*-221" - "l-*-219" - "l-*-217" - "l-*-215" - "l-*-213" - "l-*-211" - "l-*-209")) - #(ribcage - (define-structure - define-expansion-accessors - define-expansion-constructors) - ((top) (top) (top)) - ("l-*-47" "l-*-46" "l-*-45"))) - (hygiene guile)) - head) + (list '#(syntax-object setter ((top)) (hygiene guile)) head) r w mod) @@ -5586,444 +1953,7 @@ w #f (syntax->datum - (cons '#(syntax-object - public - ((top) - #(ribcage #(mod id) #((top) (top)) #("l-*-3566" "l-*-3567")) - #(ribcage () () ()) - #(ribcage - #(e r w) - #((top) (top) (top)) - #("l-*-3554" "l-*-3555" "l-*-3556")) - #(ribcage - (lambda-var-list - gen-var - strip - expand-lambda-case - lambda*-formals - expand-simple-lambda - lambda-formals - ellipsis? - expand-void - eval-local-transformer - expand-local-syntax - expand-body - expand-macro - expand-application - expand-expr - expand - syntax-type - parse-when-list - expand-install-global - expand-top-sequence - expand-sequence - source-wrap - wrap - bound-id-member? - distinct-bound-ids? - valid-bound-ids? - bound-id=? - free-id=? - with-transformer-environment - transformer-environment - resolve-identifier - locally-bound-identifiers - id-var-name - same-marks? - join-marks - join-wraps - smart-append - make-binding-wrap - extend-ribcage! - make-empty-ribcage - new-mark - anti-mark - the-anti-mark - top-marked? - top-wrap - empty-wrap - set-ribcage-labels! - set-ribcage-marks! - set-ribcage-symnames! - ribcage-labels - ribcage-marks - ribcage-symnames - ribcage? - make-ribcage - gen-labels - gen-label - make-rename - rename-marks - rename-new - rename-old - subst-rename? - wrap-subst - wrap-marks - make-wrap - id-sym-name&marks - id-sym-name - id? - nonsymbol-id? - global-extend - lookup - macros-only-env - extend-var-env - extend-env - null-env - binding-value - binding-type - make-binding - arg-check - source-annotation - no-source - set-syntax-object-module! - set-syntax-object-wrap! - set-syntax-object-expression! - syntax-object-module - syntax-object-wrap - syntax-object-expression - syntax-object? - make-syntax-object - build-lexical-var - build-letrec - build-named-let - build-let - build-sequence - build-data - build-primref - build-lambda-case - build-case-lambda - build-simple-lambda - build-global-definition - build-global-assignment - build-global-reference - analyze-variable - build-lexical-assignment - build-lexical-reference - build-dynlet - build-conditional - build-application - build-void - maybe-name-value! - decorate-source - get-global-definition-hook - put-global-definition-hook - session-id - local-eval-hook - top-level-eval-hook - fx< - fx= - fx- - fx+ - set-lambda-meta! - lambda-meta - lambda? - make-dynlet - make-letrec - make-let - make-lambda-case - make-lambda - make-sequence - make-application - make-conditional - make-toplevel-define - make-toplevel-set - make-toplevel-ref - make-module-set - make-module-ref - make-lexical-set - make-lexical-ref - make-primitive-ref - make-const - make-void) - ((top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-476" - "l-*-474" - "l-*-472" - "l-*-470" - "l-*-468" - "l-*-466" - "l-*-464" - "l-*-462" - "l-*-460" - "l-*-458" - "l-*-456" - "l-*-454" - "l-*-452" - "l-*-450" - "l-*-448" - "l-*-446" - "l-*-444" - "l-*-442" - "l-*-440" - "l-*-438" - "l-*-436" - "l-*-434" - "l-*-432" - "l-*-430" - "l-*-428" - "l-*-426" - "l-*-424" - "l-*-422" - "l-*-420" - "l-*-418" - "l-*-416" - "l-*-414" - "l-*-412" - "l-*-410" - "l-*-408" - "l-*-406" - "l-*-404" - "l-*-402" - "l-*-400" - "l-*-399" - "l-*-397" - "l-*-394" - "l-*-393" - "l-*-392" - "l-*-390" - "l-*-389" - "l-*-387" - "l-*-385" - "l-*-383" - "l-*-381" - "l-*-379" - "l-*-377" - "l-*-375" - "l-*-373" - "l-*-370" - "l-*-368" - "l-*-367" - "l-*-365" - "l-*-363" - "l-*-361" - "l-*-359" - "l-*-358" - "l-*-357" - "l-*-356" - "l-*-354" - "l-*-353" - "l-*-350" - "l-*-348" - "l-*-346" - "l-*-344" - "l-*-342" - "l-*-340" - "l-*-338" - "l-*-337" - "l-*-336" - "l-*-334" - "l-*-332" - "l-*-331" - "l-*-328" - "l-*-327" - "l-*-325" - "l-*-323" - "l-*-321" - "l-*-319" - "l-*-317" - "l-*-315" - "l-*-313" - "l-*-311" - "l-*-309" - "l-*-306" - "l-*-304" - "l-*-302" - "l-*-300" - "l-*-298" - "l-*-296" - "l-*-294" - "l-*-292" - "l-*-290" - "l-*-288" - "l-*-286" - "l-*-284" - "l-*-282" - "l-*-280" - "l-*-278" - "l-*-276" - "l-*-274" - "l-*-272" - "l-*-270" - "l-*-268" - "l-*-266" - "l-*-264" - "l-*-262" - "l-*-260" - "l-*-258" - "l-*-256" - "l-*-255" - "l-*-254" - "l-*-253" - "l-*-252" - "l-*-250" - "l-*-248" - "l-*-246" - "l-*-243" - "l-*-241" - "l-*-239" - "l-*-237" - "l-*-235" - "l-*-233" - "l-*-231" - "l-*-229" - "l-*-227" - "l-*-225" - "l-*-223" - "l-*-221" - "l-*-219" - "l-*-217" - "l-*-215" - "l-*-213" - "l-*-211" - "l-*-209")) - #(ribcage - (define-structure - define-expansion-accessors - define-expansion-constructors) - ((top) (top) (top)) - ("l-*-47" "l-*-46" "l-*-45"))) - (hygiene guile)) - mod)))) + (cons '#(syntax-object public ((top)) (hygiene guile)) mod)))) tmp) (syntax-violation #f @@ -6055,444 +1985,7 @@ (if (and tmp (apply (lambda (mod exp) (and-map id? mod)) tmp)) (apply (lambda (mod exp) (let ((mod (syntax->datum - (cons '#(syntax-object - private - ((top) - #(ribcage #(mod exp) #((top) (top)) #("l-*-3604" "l-*-3605")) - #(ribcage (remodulate) ((top)) ("l-*-3577")) - #(ribcage - #(e r w) - #((top) (top) (top)) - #("l-*-3574" "l-*-3575" "l-*-3576")) - #(ribcage - (lambda-var-list - gen-var - strip - expand-lambda-case - lambda*-formals - expand-simple-lambda - lambda-formals - ellipsis? - expand-void - eval-local-transformer - expand-local-syntax - expand-body - expand-macro - expand-application - expand-expr - expand - syntax-type - parse-when-list - expand-install-global - expand-top-sequence - expand-sequence - source-wrap - wrap - bound-id-member? - distinct-bound-ids? - valid-bound-ids? - bound-id=? - free-id=? - with-transformer-environment - transformer-environment - resolve-identifier - locally-bound-identifiers - id-var-name - same-marks? - join-marks - join-wraps - smart-append - make-binding-wrap - extend-ribcage! - make-empty-ribcage - new-mark - anti-mark - the-anti-mark - top-marked? - top-wrap - empty-wrap - set-ribcage-labels! - set-ribcage-marks! - set-ribcage-symnames! - ribcage-labels - ribcage-marks - ribcage-symnames - ribcage? - make-ribcage - gen-labels - gen-label - make-rename - rename-marks - rename-new - rename-old - subst-rename? - wrap-subst - wrap-marks - make-wrap - id-sym-name&marks - id-sym-name - id? - nonsymbol-id? - global-extend - lookup - macros-only-env - extend-var-env - extend-env - null-env - binding-value - binding-type - make-binding - arg-check - source-annotation - no-source - set-syntax-object-module! - set-syntax-object-wrap! - set-syntax-object-expression! - syntax-object-module - syntax-object-wrap - syntax-object-expression - syntax-object? - make-syntax-object - build-lexical-var - build-letrec - build-named-let - build-let - build-sequence - build-data - build-primref - build-lambda-case - build-case-lambda - build-simple-lambda - build-global-definition - build-global-assignment - build-global-reference - analyze-variable - build-lexical-assignment - build-lexical-reference - build-dynlet - build-conditional - build-application - build-void - maybe-name-value! - decorate-source - get-global-definition-hook - put-global-definition-hook - session-id - local-eval-hook - top-level-eval-hook - fx< - fx= - fx- - fx+ - set-lambda-meta! - lambda-meta - lambda? - make-dynlet - make-letrec - make-let - make-lambda-case - make-lambda - make-sequence - make-application - make-conditional - make-toplevel-define - make-toplevel-set - make-toplevel-ref - make-module-set - make-module-ref - make-lexical-set - make-lexical-ref - make-primitive-ref - make-const - make-void) - ((top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-476" - "l-*-474" - "l-*-472" - "l-*-470" - "l-*-468" - "l-*-466" - "l-*-464" - "l-*-462" - "l-*-460" - "l-*-458" - "l-*-456" - "l-*-454" - "l-*-452" - "l-*-450" - "l-*-448" - "l-*-446" - "l-*-444" - "l-*-442" - "l-*-440" - "l-*-438" - "l-*-436" - "l-*-434" - "l-*-432" - "l-*-430" - "l-*-428" - "l-*-426" - "l-*-424" - "l-*-422" - "l-*-420" - "l-*-418" - "l-*-416" - "l-*-414" - "l-*-412" - "l-*-410" - "l-*-408" - "l-*-406" - "l-*-404" - "l-*-402" - "l-*-400" - "l-*-399" - "l-*-397" - "l-*-394" - "l-*-393" - "l-*-392" - "l-*-390" - "l-*-389" - "l-*-387" - "l-*-385" - "l-*-383" - "l-*-381" - "l-*-379" - "l-*-377" - "l-*-375" - "l-*-373" - "l-*-370" - "l-*-368" - "l-*-367" - "l-*-365" - "l-*-363" - "l-*-361" - "l-*-359" - "l-*-358" - "l-*-357" - "l-*-356" - "l-*-354" - "l-*-353" - "l-*-350" - "l-*-348" - "l-*-346" - "l-*-344" - "l-*-342" - "l-*-340" - "l-*-338" - "l-*-337" - "l-*-336" - "l-*-334" - "l-*-332" - "l-*-331" - "l-*-328" - "l-*-327" - "l-*-325" - "l-*-323" - "l-*-321" - "l-*-319" - "l-*-317" - "l-*-315" - "l-*-313" - "l-*-311" - "l-*-309" - "l-*-306" - "l-*-304" - "l-*-302" - "l-*-300" - "l-*-298" - "l-*-296" - "l-*-294" - "l-*-292" - "l-*-290" - "l-*-288" - "l-*-286" - "l-*-284" - "l-*-282" - "l-*-280" - "l-*-278" - "l-*-276" - "l-*-274" - "l-*-272" - "l-*-270" - "l-*-268" - "l-*-266" - "l-*-264" - "l-*-262" - "l-*-260" - "l-*-258" - "l-*-256" - "l-*-255" - "l-*-254" - "l-*-253" - "l-*-252" - "l-*-250" - "l-*-248" - "l-*-246" - "l-*-243" - "l-*-241" - "l-*-239" - "l-*-237" - "l-*-235" - "l-*-233" - "l-*-231" - "l-*-229" - "l-*-227" - "l-*-225" - "l-*-223" - "l-*-221" - "l-*-219" - "l-*-217" - "l-*-215" - "l-*-213" - "l-*-211" - "l-*-209")) - #(ribcage - (define-structure - define-expansion-accessors - define-expansion-constructors) - ((top) (top) (top)) - ("l-*-47" "l-*-46" "l-*-45"))) - (hygiene guile)) - mod)))) + (cons '#(syntax-object private ((top)) (hygiene guile)) mod)))) (values (remodulate exp mod) r w (source-annotation exp) mod))) tmp) (syntax-violation @@ -6571,453 +2064,7 @@ (cvt (lambda (p n ids) (if (id? p) (cond ((bound-id-member? p keys) (values (vector 'free-id p) ids)) - ((free-id=? - p - '#(syntax-object - _ - ((top) - #(ribcage () () ()) - #(ribcage - #(p n ids) - #((top) (top) (top)) - #("l-*-3705" "l-*-3706" "l-*-3707")) - #(ribcage - (cvt v-reverse cvt*) - ((top) (top) (top)) - ("l-*-3678" "l-*-3676" "l-*-3674")) - #(ribcage #(pattern keys) #((top) (top)) #("l-*-3672" "l-*-3673")) - #(ribcage - (gen-syntax-case gen-clause build-dispatch-call convert-pattern) - ((top) (top) (top) (top)) - ("l-*-3668" "l-*-3666" "l-*-3664" "l-*-3662")) - #(ribcage - (lambda-var-list - gen-var - strip - expand-lambda-case - lambda*-formals - expand-simple-lambda - lambda-formals - ellipsis? - expand-void - eval-local-transformer - expand-local-syntax - expand-body - expand-macro - expand-application - expand-expr - expand - syntax-type - parse-when-list - expand-install-global - expand-top-sequence - expand-sequence - source-wrap - wrap - bound-id-member? - distinct-bound-ids? - valid-bound-ids? - bound-id=? - free-id=? - with-transformer-environment - transformer-environment - resolve-identifier - locally-bound-identifiers - id-var-name - same-marks? - join-marks - join-wraps - smart-append - make-binding-wrap - extend-ribcage! - make-empty-ribcage - new-mark - anti-mark - the-anti-mark - top-marked? - top-wrap - empty-wrap - set-ribcage-labels! - set-ribcage-marks! - set-ribcage-symnames! - ribcage-labels - ribcage-marks - ribcage-symnames - ribcage? - make-ribcage - gen-labels - gen-label - make-rename - rename-marks - rename-new - rename-old - subst-rename? - wrap-subst - wrap-marks - make-wrap - id-sym-name&marks - id-sym-name - id? - nonsymbol-id? - global-extend - lookup - macros-only-env - extend-var-env - extend-env - null-env - binding-value - binding-type - make-binding - arg-check - source-annotation - no-source - set-syntax-object-module! - set-syntax-object-wrap! - set-syntax-object-expression! - syntax-object-module - syntax-object-wrap - syntax-object-expression - syntax-object? - make-syntax-object - build-lexical-var - build-letrec - build-named-let - build-let - build-sequence - build-data - build-primref - build-lambda-case - build-case-lambda - build-simple-lambda - build-global-definition - build-global-assignment - build-global-reference - analyze-variable - build-lexical-assignment - build-lexical-reference - build-dynlet - build-conditional - build-application - build-void - maybe-name-value! - decorate-source - get-global-definition-hook - put-global-definition-hook - session-id - local-eval-hook - top-level-eval-hook - fx< - fx= - fx- - fx+ - set-lambda-meta! - lambda-meta - lambda? - make-dynlet - make-letrec - make-let - make-lambda-case - make-lambda - make-sequence - make-application - make-conditional - make-toplevel-define - make-toplevel-set - make-toplevel-ref - make-module-set - make-module-ref - make-lexical-set - make-lexical-ref - make-primitive-ref - make-const - make-void) - ((top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-476" - "l-*-474" - "l-*-472" - "l-*-470" - "l-*-468" - "l-*-466" - "l-*-464" - "l-*-462" - "l-*-460" - "l-*-458" - "l-*-456" - "l-*-454" - "l-*-452" - "l-*-450" - "l-*-448" - "l-*-446" - "l-*-444" - "l-*-442" - "l-*-440" - "l-*-438" - "l-*-436" - "l-*-434" - "l-*-432" - "l-*-430" - "l-*-428" - "l-*-426" - "l-*-424" - "l-*-422" - "l-*-420" - "l-*-418" - "l-*-416" - "l-*-414" - "l-*-412" - "l-*-410" - "l-*-408" - "l-*-406" - "l-*-404" - "l-*-402" - "l-*-400" - "l-*-399" - "l-*-397" - "l-*-394" - "l-*-393" - "l-*-392" - "l-*-390" - "l-*-389" - "l-*-387" - "l-*-385" - "l-*-383" - "l-*-381" - "l-*-379" - "l-*-377" - "l-*-375" - "l-*-373" - "l-*-370" - "l-*-368" - "l-*-367" - "l-*-365" - "l-*-363" - "l-*-361" - "l-*-359" - "l-*-358" - "l-*-357" - "l-*-356" - "l-*-354" - "l-*-353" - "l-*-350" - "l-*-348" - "l-*-346" - "l-*-344" - "l-*-342" - "l-*-340" - "l-*-338" - "l-*-337" - "l-*-336" - "l-*-334" - "l-*-332" - "l-*-331" - "l-*-328" - "l-*-327" - "l-*-325" - "l-*-323" - "l-*-321" - "l-*-319" - "l-*-317" - "l-*-315" - "l-*-313" - "l-*-311" - "l-*-309" - "l-*-306" - "l-*-304" - "l-*-302" - "l-*-300" - "l-*-298" - "l-*-296" - "l-*-294" - "l-*-292" - "l-*-290" - "l-*-288" - "l-*-286" - "l-*-284" - "l-*-282" - "l-*-280" - "l-*-278" - "l-*-276" - "l-*-274" - "l-*-272" - "l-*-270" - "l-*-268" - "l-*-266" - "l-*-264" - "l-*-262" - "l-*-260" - "l-*-258" - "l-*-256" - "l-*-255" - "l-*-254" - "l-*-253" - "l-*-252" - "l-*-250" - "l-*-248" - "l-*-246" - "l-*-243" - "l-*-241" - "l-*-239" - "l-*-237" - "l-*-235" - "l-*-233" - "l-*-231" - "l-*-229" - "l-*-227" - "l-*-225" - "l-*-223" - "l-*-221" - "l-*-219" - "l-*-217" - "l-*-215" - "l-*-213" - "l-*-211" - "l-*-209")) - #(ribcage - (define-structure - define-expansion-accessors - define-expansion-constructors) - ((top) (top) (top)) - ("l-*-47" "l-*-46" "l-*-45"))) - (hygiene guile))) + ((free-id=? p '#(syntax-object _ ((top)) (hygiene guile))) (values '_ ids)) (else (values 'any (cons (cons p n) ids)))) (let* ((tmp p) (tmp-1 ($sc-dispatch tmp '(any any)))) @@ -7140,891 +2187,8 @@ (if (and (id? pat) (and-map (lambda (x) (not (free-id=? pat x))) - (cons '#(syntax-object - ... - ((top) - #(ribcage #(pat exp) #((top) (top)) #("l-*-3859" "l-*-3860")) - #(ribcage () () ()) - #(ribcage - #(x keys clauses r mod) - #((top) (top) (top) (top) (top)) - #("l-*-3848" "l-*-3849" "l-*-3850" "l-*-3851" "l-*-3852")) - #(ribcage - (gen-syntax-case gen-clause build-dispatch-call convert-pattern) - ((top) (top) (top) (top)) - ("l-*-3668" "l-*-3666" "l-*-3664" "l-*-3662")) - #(ribcage - (lambda-var-list - gen-var - strip - expand-lambda-case - lambda*-formals - expand-simple-lambda - lambda-formals - ellipsis? - expand-void - eval-local-transformer - expand-local-syntax - expand-body - expand-macro - expand-application - expand-expr - expand - syntax-type - parse-when-list - expand-install-global - expand-top-sequence - expand-sequence - source-wrap - wrap - bound-id-member? - distinct-bound-ids? - valid-bound-ids? - bound-id=? - free-id=? - with-transformer-environment - transformer-environment - resolve-identifier - locally-bound-identifiers - id-var-name - same-marks? - join-marks - join-wraps - smart-append - make-binding-wrap - extend-ribcage! - make-empty-ribcage - new-mark - anti-mark - the-anti-mark - top-marked? - top-wrap - empty-wrap - set-ribcage-labels! - set-ribcage-marks! - set-ribcage-symnames! - ribcage-labels - ribcage-marks - ribcage-symnames - ribcage? - make-ribcage - gen-labels - gen-label - make-rename - rename-marks - rename-new - rename-old - subst-rename? - wrap-subst - wrap-marks - make-wrap - id-sym-name&marks - id-sym-name - id? - nonsymbol-id? - global-extend - lookup - macros-only-env - extend-var-env - extend-env - null-env - binding-value - binding-type - make-binding - arg-check - source-annotation - no-source - set-syntax-object-module! - set-syntax-object-wrap! - set-syntax-object-expression! - syntax-object-module - syntax-object-wrap - syntax-object-expression - syntax-object? - make-syntax-object - build-lexical-var - build-letrec - build-named-let - build-let - build-sequence - build-data - build-primref - build-lambda-case - build-case-lambda - build-simple-lambda - build-global-definition - build-global-assignment - build-global-reference - analyze-variable - build-lexical-assignment - build-lexical-reference - build-dynlet - build-conditional - build-application - build-void - maybe-name-value! - decorate-source - get-global-definition-hook - put-global-definition-hook - session-id - local-eval-hook - top-level-eval-hook - fx< - fx= - fx- - fx+ - set-lambda-meta! - lambda-meta - lambda? - make-dynlet - make-letrec - make-let - make-lambda-case - make-lambda - make-sequence - make-application - make-conditional - make-toplevel-define - make-toplevel-set - make-toplevel-ref - make-module-set - make-module-ref - make-lexical-set - make-lexical-ref - make-primitive-ref - make-const - make-void) - ((top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-476" - "l-*-474" - "l-*-472" - "l-*-470" - "l-*-468" - "l-*-466" - "l-*-464" - "l-*-462" - "l-*-460" - "l-*-458" - "l-*-456" - "l-*-454" - "l-*-452" - "l-*-450" - "l-*-448" - "l-*-446" - "l-*-444" - "l-*-442" - "l-*-440" - "l-*-438" - "l-*-436" - "l-*-434" - "l-*-432" - "l-*-430" - "l-*-428" - "l-*-426" - "l-*-424" - "l-*-422" - "l-*-420" - "l-*-418" - "l-*-416" - "l-*-414" - "l-*-412" - "l-*-410" - "l-*-408" - "l-*-406" - "l-*-404" - "l-*-402" - "l-*-400" - "l-*-399" - "l-*-397" - "l-*-394" - "l-*-393" - "l-*-392" - "l-*-390" - "l-*-389" - "l-*-387" - "l-*-385" - "l-*-383" - "l-*-381" - "l-*-379" - "l-*-377" - "l-*-375" - "l-*-373" - "l-*-370" - "l-*-368" - "l-*-367" - "l-*-365" - "l-*-363" - "l-*-361" - "l-*-359" - "l-*-358" - "l-*-357" - "l-*-356" - "l-*-354" - "l-*-353" - "l-*-350" - "l-*-348" - "l-*-346" - "l-*-344" - "l-*-342" - "l-*-340" - "l-*-338" - "l-*-337" - "l-*-336" - "l-*-334" - "l-*-332" - "l-*-331" - "l-*-328" - "l-*-327" - "l-*-325" - "l-*-323" - "l-*-321" - "l-*-319" - "l-*-317" - "l-*-315" - "l-*-313" - "l-*-311" - "l-*-309" - "l-*-306" - "l-*-304" - "l-*-302" - "l-*-300" - "l-*-298" - "l-*-296" - "l-*-294" - "l-*-292" - "l-*-290" - "l-*-288" - "l-*-286" - "l-*-284" - "l-*-282" - "l-*-280" - "l-*-278" - "l-*-276" - "l-*-274" - "l-*-272" - "l-*-270" - "l-*-268" - "l-*-266" - "l-*-264" - "l-*-262" - "l-*-260" - "l-*-258" - "l-*-256" - "l-*-255" - "l-*-254" - "l-*-253" - "l-*-252" - "l-*-250" - "l-*-248" - "l-*-246" - "l-*-243" - "l-*-241" - "l-*-239" - "l-*-237" - "l-*-235" - "l-*-233" - "l-*-231" - "l-*-229" - "l-*-227" - "l-*-225" - "l-*-223" - "l-*-221" - "l-*-219" - "l-*-217" - "l-*-215" - "l-*-213" - "l-*-211" - "l-*-209")) - #(ribcage - (define-structure - define-expansion-accessors - define-expansion-constructors) - ((top) (top) (top)) - ("l-*-47" "l-*-46" "l-*-45"))) - (hygiene guile)) - keys))) - (if (free-id=? - pat - '#(syntax-object - _ - ((top) - #(ribcage #(pat exp) #((top) (top)) #("l-*-3859" "l-*-3860")) - #(ribcage () () ()) - #(ribcage - #(x keys clauses r mod) - #((top) (top) (top) (top) (top)) - #("l-*-3848" "l-*-3849" "l-*-3850" "l-*-3851" "l-*-3852")) - #(ribcage - (gen-syntax-case gen-clause build-dispatch-call convert-pattern) - ((top) (top) (top) (top)) - ("l-*-3668" "l-*-3666" "l-*-3664" "l-*-3662")) - #(ribcage - (lambda-var-list - gen-var - strip - expand-lambda-case - lambda*-formals - expand-simple-lambda - lambda-formals - ellipsis? - expand-void - eval-local-transformer - expand-local-syntax - expand-body - expand-macro - expand-application - expand-expr - expand - syntax-type - parse-when-list - expand-install-global - expand-top-sequence - expand-sequence - source-wrap - wrap - bound-id-member? - distinct-bound-ids? - valid-bound-ids? - bound-id=? - free-id=? - with-transformer-environment - transformer-environment - resolve-identifier - locally-bound-identifiers - id-var-name - same-marks? - join-marks - join-wraps - smart-append - make-binding-wrap - extend-ribcage! - make-empty-ribcage - new-mark - anti-mark - the-anti-mark - top-marked? - top-wrap - empty-wrap - set-ribcage-labels! - set-ribcage-marks! - set-ribcage-symnames! - ribcage-labels - ribcage-marks - ribcage-symnames - ribcage? - make-ribcage - gen-labels - gen-label - make-rename - rename-marks - rename-new - rename-old - subst-rename? - wrap-subst - wrap-marks - make-wrap - id-sym-name&marks - id-sym-name - id? - nonsymbol-id? - global-extend - lookup - macros-only-env - extend-var-env - extend-env - null-env - binding-value - binding-type - make-binding - arg-check - source-annotation - no-source - set-syntax-object-module! - set-syntax-object-wrap! - set-syntax-object-expression! - syntax-object-module - syntax-object-wrap - syntax-object-expression - syntax-object? - make-syntax-object - build-lexical-var - build-letrec - build-named-let - build-let - build-sequence - build-data - build-primref - build-lambda-case - build-case-lambda - build-simple-lambda - build-global-definition - build-global-assignment - build-global-reference - analyze-variable - build-lexical-assignment - build-lexical-reference - build-dynlet - build-conditional - build-application - build-void - maybe-name-value! - decorate-source - get-global-definition-hook - put-global-definition-hook - session-id - local-eval-hook - top-level-eval-hook - fx< - fx= - fx- - fx+ - set-lambda-meta! - lambda-meta - lambda? - make-dynlet - make-letrec - make-let - make-lambda-case - make-lambda - make-sequence - make-application - make-conditional - make-toplevel-define - make-toplevel-set - make-toplevel-ref - make-module-set - make-module-ref - make-lexical-set - make-lexical-ref - make-primitive-ref - make-const - make-void) - ((top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-476" - "l-*-474" - "l-*-472" - "l-*-470" - "l-*-468" - "l-*-466" - "l-*-464" - "l-*-462" - "l-*-460" - "l-*-458" - "l-*-456" - "l-*-454" - "l-*-452" - "l-*-450" - "l-*-448" - "l-*-446" - "l-*-444" - "l-*-442" - "l-*-440" - "l-*-438" - "l-*-436" - "l-*-434" - "l-*-432" - "l-*-430" - "l-*-428" - "l-*-426" - "l-*-424" - "l-*-422" - "l-*-420" - "l-*-418" - "l-*-416" - "l-*-414" - "l-*-412" - "l-*-410" - "l-*-408" - "l-*-406" - "l-*-404" - "l-*-402" - "l-*-400" - "l-*-399" - "l-*-397" - "l-*-394" - "l-*-393" - "l-*-392" - "l-*-390" - "l-*-389" - "l-*-387" - "l-*-385" - "l-*-383" - "l-*-381" - "l-*-379" - "l-*-377" - "l-*-375" - "l-*-373" - "l-*-370" - "l-*-368" - "l-*-367" - "l-*-365" - "l-*-363" - "l-*-361" - "l-*-359" - "l-*-358" - "l-*-357" - "l-*-356" - "l-*-354" - "l-*-353" - "l-*-350" - "l-*-348" - "l-*-346" - "l-*-344" - "l-*-342" - "l-*-340" - "l-*-338" - "l-*-337" - "l-*-336" - "l-*-334" - "l-*-332" - "l-*-331" - "l-*-328" - "l-*-327" - "l-*-325" - "l-*-323" - "l-*-321" - "l-*-319" - "l-*-317" - "l-*-315" - "l-*-313" - "l-*-311" - "l-*-309" - "l-*-306" - "l-*-304" - "l-*-302" - "l-*-300" - "l-*-298" - "l-*-296" - "l-*-294" - "l-*-292" - "l-*-290" - "l-*-288" - "l-*-286" - "l-*-284" - "l-*-282" - "l-*-280" - "l-*-278" - "l-*-276" - "l-*-274" - "l-*-272" - "l-*-270" - "l-*-268" - "l-*-266" - "l-*-264" - "l-*-262" - "l-*-260" - "l-*-258" - "l-*-256" - "l-*-255" - "l-*-254" - "l-*-253" - "l-*-252" - "l-*-250" - "l-*-248" - "l-*-246" - "l-*-243" - "l-*-241" - "l-*-239" - "l-*-237" - "l-*-235" - "l-*-233" - "l-*-231" - "l-*-229" - "l-*-227" - "l-*-225" - "l-*-223" - "l-*-221" - "l-*-219" - "l-*-217" - "l-*-215" - "l-*-213" - "l-*-211" - "l-*-209")) - #(ribcage - (define-structure - define-expansion-accessors - define-expansion-constructors) - ((top) (top) (top)) - ("l-*-47" "l-*-46" "l-*-45"))) - (hygiene guile))) + (cons '#(syntax-object ... ((top)) (hygiene guile)) keys))) + (if (free-id=? pat '#(syntax-object _ ((top)) (hygiene guile))) (expand exp r '(()) mod) (let ((labels (list (gen-label))) (var (gen-var pat))) (build-application @@ -8324,79 +2488,27 @@ (let ((tmp-1 ($sc-dispatch tmp '(_ () any . each-any)))) (if tmp-1 (apply (lambda (e1 e2) - (cons '#(syntax-object - let - ((top) - #(ribcage #(e1 e2) #((top) (top)) #("l-*-4203" "l-*-4204")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4200"))) - (hygiene guile)) + (cons '#(syntax-object let ((top)) (hygiene guile)) (cons '() (cons e1 e2)))) tmp-1) (let ((tmp-1 ($sc-dispatch tmp '(_ ((any any)) any . each-any)))) (if tmp-1 (apply (lambda (out in e1 e2) - (list '#(syntax-object - syntax-case - ((top) - #(ribcage - #(out in e1 e2) - #((top) (top) (top) (top)) - #("l-*-4209" "l-*-4210" "l-*-4211" "l-*-4212")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4200"))) - (hygiene guile)) + (list '#(syntax-object syntax-case ((top)) (hygiene guile)) in '() (list out - (cons '#(syntax-object - let - ((top) - #(ribcage - #(out in e1 e2) - #((top) (top) (top) (top)) - #("l-*-4209" "l-*-4210" "l-*-4211" "l-*-4212")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4200"))) - (hygiene guile)) + (cons '#(syntax-object let ((top)) (hygiene guile)) (cons '() (cons e1 e2)))))) tmp-1) (let ((tmp-1 ($sc-dispatch tmp '(_ #(each (any any)) any . each-any)))) (if tmp-1 (apply (lambda (out in e1 e2) - (list '#(syntax-object - syntax-case - ((top) - #(ribcage - #(out in e1 e2) - #((top) (top) (top) (top)) - #("l-*-4219" "l-*-4220" "l-*-4221" "l-*-4222")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4200"))) - (hygiene guile)) - (cons '#(syntax-object - list - ((top) - #(ribcage - #(out in e1 e2) - #((top) (top) (top) (top)) - #("l-*-4219" "l-*-4220" "l-*-4221" "l-*-4222")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4200"))) - (hygiene guile)) - in) + (list '#(syntax-object syntax-case ((top)) (hygiene guile)) + (cons '#(syntax-object list ((top)) (hygiene guile)) in) '() (list out - (cons '#(syntax-object - let - ((top) - #(ribcage - #(out in e1 e2) - #((top) (top) (top) (top)) - #("l-*-4219" "l-*-4220" "l-*-4221" "l-*-4222")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4200"))) - (hygiene guile)) + (cons '#(syntax-object let ((top)) (hygiene guile)) (cons '() (cons e1 e2)))))) tmp-1) (syntax-violation @@ -8408,107 +2520,24 @@ (make-syntax-transformer 'syntax-rules 'macro - (lambda (x) - (let ((tmp-1 x)) + (lambda (xx) + (let ((tmp-1 xx)) (let ((tmp ($sc-dispatch tmp-1 '(_ each-any . #(each ((any . any) any)))))) (if tmp (apply (lambda (k keyword pattern template) - (list '#(syntax-object - lambda - ((top) - #(ribcage - #(k keyword pattern template) - #((top) (top) (top) (top)) - #("l-*-4234" "l-*-4235" "l-*-4236" "l-*-4237")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) - '(#(syntax-object - x - ((top) - #(ribcage - #(k keyword pattern template) - #((top) (top) (top) (top)) - #("l-*-4234" "l-*-4235" "l-*-4236" "l-*-4237")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile))) + (list '#(syntax-object lambda ((top)) (hygiene guile)) + '(#(syntax-object x ((top)) (hygiene guile))) (vector - '(#(syntax-object - macro-type - ((top) - #(ribcage - #(k keyword pattern template) - #((top) (top) (top) (top)) - #("l-*-4234" "l-*-4235" "l-*-4236" "l-*-4237")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) + '(#(syntax-object macro-type ((top)) (hygiene guile)) . - #(syntax-object - syntax-rules - ((top) - #(ribcage - #(k keyword pattern template) - #((top) (top) (top) (top)) - #("l-*-4234" "l-*-4235" "l-*-4236" "l-*-4237")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile))) - (cons '#(syntax-object - patterns - ((top) - #(ribcage - #(k keyword pattern template) - #((top) (top) (top) (top)) - #("l-*-4234" "l-*-4235" "l-*-4236" "l-*-4237")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) - pattern)) - (cons '#(syntax-object - syntax-case - ((top) - #(ribcage - #(k keyword pattern template) - #((top) (top) (top) (top)) - #("l-*-4234" "l-*-4235" "l-*-4236" "l-*-4237")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) - (cons '#(syntax-object - x - ((top) - #(ribcage - #(k keyword pattern template) - #((top) (top) (top) (top)) - #("l-*-4234" "l-*-4235" "l-*-4236" "l-*-4237")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) + #(syntax-object syntax-rules ((top)) (hygiene guile))) + (cons '#(syntax-object patterns ((top)) (hygiene guile)) pattern)) + (cons '#(syntax-object syntax-case ((top)) (hygiene guile)) + (cons '#(syntax-object x ((top)) (hygiene guile)) (cons k (map (lambda (tmp-1 tmp) - (list (cons '#(syntax-object - dummy - ((top) - #(ribcage - #(k keyword pattern template) - #((top) (top) (top) (top)) - #("l-*-4234" "l-*-4235" "l-*-4236" "l-*-4237")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) - tmp) - (list '#(syntax-object - syntax - ((top) - #(ribcage - #(k keyword pattern template) - #((top) (top) (top) (top)) - #("l-*-4234" "l-*-4235" "l-*-4236" "l-*-4237")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) + (list (cons '#(syntax-object dummy ((top)) (hygiene guile)) tmp) + (list '#(syntax-object syntax ((top)) (hygiene guile)) tmp-1))) template pattern)))))) @@ -8520,111 +2549,20 @@ tmp) #f) (apply (lambda (k docstring keyword pattern template) - (list '#(syntax-object - lambda - ((top) - #(ribcage - #(k docstring keyword pattern template) - #((top) (top) (top) (top) (top)) - #("l-*-4257" "l-*-4258" "l-*-4259" "l-*-4260" "l-*-4261")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) - '(#(syntax-object - x - ((top) - #(ribcage - #(k docstring keyword pattern template) - #((top) (top) (top) (top) (top)) - #("l-*-4257" "l-*-4258" "l-*-4259" "l-*-4260" "l-*-4261")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile))) + (list '#(syntax-object lambda ((top)) (hygiene guile)) + '(#(syntax-object x ((top)) (hygiene guile))) docstring (vector - '(#(syntax-object - macro-type - ((top) - #(ribcage - #(k docstring keyword pattern template) - #((top) (top) (top) (top) (top)) - #("l-*-4257" "l-*-4258" "l-*-4259" "l-*-4260" "l-*-4261")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) + '(#(syntax-object macro-type ((top)) (hygiene guile)) . - #(syntax-object - syntax-rules - ((top) - #(ribcage - #(k docstring keyword pattern template) - #((top) (top) (top) (top) (top)) - #("l-*-4257" "l-*-4258" "l-*-4259" "l-*-4260" "l-*-4261")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile))) - (cons '#(syntax-object - patterns - ((top) - #(ribcage - #(k docstring keyword pattern template) - #((top) (top) (top) (top) (top)) - #("l-*-4257" "l-*-4258" "l-*-4259" "l-*-4260" "l-*-4261")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) - pattern)) - (cons '#(syntax-object - syntax-case - ((top) - #(ribcage - #(k docstring keyword pattern template) - #((top) (top) (top) (top) (top)) - #("l-*-4257" "l-*-4258" "l-*-4259" "l-*-4260" "l-*-4261")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) - (cons '#(syntax-object - x - ((top) - #(ribcage - #(k docstring keyword pattern template) - #((top) (top) (top) (top) (top)) - #("l-*-4257" "l-*-4258" "l-*-4259" "l-*-4260" "l-*-4261")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) + #(syntax-object syntax-rules ((top)) (hygiene guile))) + (cons '#(syntax-object patterns ((top)) (hygiene guile)) pattern)) + (cons '#(syntax-object syntax-case ((top)) (hygiene guile)) + (cons '#(syntax-object x ((top)) (hygiene guile)) (cons k (map (lambda (tmp-1 tmp) - (list (cons '#(syntax-object - dummy - ((top) - #(ribcage - #(k docstring keyword pattern template) - #((top) (top) (top) (top) (top)) - #("l-*-4257" - "l-*-4258" - "l-*-4259" - "l-*-4260" - "l-*-4261")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) - tmp) - (list '#(syntax-object - syntax - ((top) - #(ribcage - #(k docstring keyword pattern template) - #((top) (top) (top) (top) (top)) - #("l-*-4257" - "l-*-4258" - "l-*-4259" - "l-*-4260" - "l-*-4261")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4231"))) - (hygiene guile)) + (list (cons '#(syntax-object dummy ((top)) (hygiene guile)) tmp) + (list '#(syntax-object syntax ((top)) (hygiene guile)) tmp-1))) template pattern)))))) @@ -8643,39 +2581,11 @@ (let ((tmp ($sc-dispatch tmp-1 '(_ (any . any) any)))) (if tmp (apply (lambda (name pattern template) - (list '#(syntax-object - define-syntax - ((top) - #(ribcage - #(name pattern template) - #((top) (top) (top)) - #("l-*-4275" "l-*-4276" "l-*-4277")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4272"))) - (hygiene guile)) + (list '#(syntax-object define-syntax ((top)) (hygiene guile)) name - (list '#(syntax-object - syntax-rules - ((top) - #(ribcage - #(name pattern template) - #((top) (top) (top)) - #("l-*-4275" "l-*-4276" "l-*-4277")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4272"))) - (hygiene guile)) + (list '#(syntax-object syntax-rules ((top)) (hygiene guile)) '() - (list (cons '#(syntax-object - _ - ((top) - #(ribcage - #(name pattern template) - #((top) (top) (top)) - #("l-*-4275" "l-*-4276" "l-*-4277")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4272"))) - (hygiene guile)) - pattern) + (list (cons '#(syntax-object _ ((top)) (hygiene guile)) pattern) template)))) tmp) (let ((tmp ($sc-dispatch tmp-1 '(_ (any . any) any any)))) @@ -8685,40 +2595,12 @@ tmp) #f) (apply (lambda (name pattern docstring template) - (list '#(syntax-object - define-syntax - ((top) - #(ribcage - #(name pattern docstring template) - #((top) (top) (top) (top)) - #("l-*-4290" "l-*-4291" "l-*-4292" "l-*-4293")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4272"))) - (hygiene guile)) + (list '#(syntax-object define-syntax ((top)) (hygiene guile)) name - (list '#(syntax-object - syntax-rules - ((top) - #(ribcage - #(name pattern docstring template) - #((top) (top) (top) (top)) - #("l-*-4290" "l-*-4291" "l-*-4292" "l-*-4293")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4272"))) - (hygiene guile)) + (list '#(syntax-object syntax-rules ((top)) (hygiene guile)) '() docstring - (list (cons '#(syntax-object - _ - ((top) - #(ribcage - #(name pattern docstring template) - #((top) (top) (top) (top)) - #("l-*-4290" "l-*-4291" "l-*-4292" "l-*-4293")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4272"))) - (hygiene guile)) - pattern) + (list (cons '#(syntax-object _ ((top)) (hygiene guile)) pattern) template)))) tmp) (syntax-violation @@ -8739,37 +2621,13 @@ (apply (lambda (let* x v e1 e2) (let f ((bindings (map list x v))) (if (null? bindings) - (cons '#(syntax-object - let - ((top) - #(ribcage () () ()) - #(ribcage #(f bindings) #((top) (top)) #("l-*-4323" "l-*-4324")) - #(ribcage - #(let* x v e1 e2) - #((top) (top) (top) (top) (top)) - #("l-*-4313" "l-*-4314" "l-*-4315" "l-*-4316" "l-*-4317")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4299"))) - (hygiene guile)) + (cons '#(syntax-object let ((top)) (hygiene guile)) (cons '() (cons e1 e2))) (let ((tmp-1 (list (f (cdr bindings)) (car bindings)))) (let ((tmp ($sc-dispatch tmp-1 '(any any)))) (if tmp (apply (lambda (body binding) - (list '#(syntax-object - let - ((top) - #(ribcage () () ()) - #(ribcage #(body binding) #((top) (top)) #("l-*-4333" "l-*-4334")) - #(ribcage () () ()) - #(ribcage #(f bindings) #((top) (top)) #("l-*-4323" "l-*-4324")) - #(ribcage - #(let* x v e1 e2) - #((top) (top) (top) (top) (top)) - #("l-*-4313" "l-*-4314" "l-*-4315" "l-*-4316" "l-*-4317")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4299"))) - (hygiene guile)) + (list '#(syntax-object let ((top)) (hygiene guile)) (list binding) body)) tmp) @@ -8812,275 +2670,36 @@ (let ((tmp-1 ($sc-dispatch tmp '()))) (if tmp-1 (apply (lambda () - (list '#(syntax-object - let - ((top) - #(ribcage () () ()) - #(ribcage #(step) #((top)) #("l-*-4356")) - #(ribcage - #(var init step e0 e1 c) - #((top) (top) (top) (top) (top) (top)) - #("l-*-4341" - "l-*-4342" - "l-*-4343" - "l-*-4344" - "l-*-4345" - "l-*-4346")) - #(ribcage () () ()) - #(ribcage #(orig-x) #((top)) #("l-*-4338"))) - (hygiene guile)) - '#(syntax-object - doloop - ((top) - #(ribcage () () ()) - #(ribcage #(step) #((top)) #("l-*-4356")) - #(ribcage - #(var init step e0 e1 c) - #((top) (top) (top) (top) (top) (top)) - #("l-*-4341" - "l-*-4342" - "l-*-4343" - "l-*-4344" - "l-*-4345" - "l-*-4346")) - #(ribcage () () ()) - #(ribcage #(orig-x) #((top)) #("l-*-4338"))) - (hygiene guile)) + (list '#(syntax-object let ((top)) (hygiene guile)) + '#(syntax-object doloop ((top)) (hygiene guile)) (map list var init) - (list '#(syntax-object - if - ((top) - #(ribcage () () ()) - #(ribcage #(step) #((top)) #("l-*-4356")) - #(ribcage - #(var init step e0 e1 c) - #((top) (top) (top) (top) (top) (top)) - #("l-*-4341" - "l-*-4342" - "l-*-4343" - "l-*-4344" - "l-*-4345" - "l-*-4346")) - #(ribcage () () ()) - #(ribcage #(orig-x) #((top)) #("l-*-4338"))) - (hygiene guile)) - (list '#(syntax-object - not - ((top) - #(ribcage () () ()) - #(ribcage #(step) #((top)) #("l-*-4356")) - #(ribcage - #(var init step e0 e1 c) - #((top) (top) (top) (top) (top) (top)) - #("l-*-4341" - "l-*-4342" - "l-*-4343" - "l-*-4344" - "l-*-4345" - "l-*-4346")) - #(ribcage () () ()) - #(ribcage #(orig-x) #((top)) #("l-*-4338"))) - (hygiene guile)) - e0) - (cons '#(syntax-object - begin - ((top) - #(ribcage () () ()) - #(ribcage #(step) #((top)) #("l-*-4356")) - #(ribcage - #(var init step e0 e1 c) - #((top) (top) (top) (top) (top) (top)) - #("l-*-4341" - "l-*-4342" - "l-*-4343" - "l-*-4344" - "l-*-4345" - "l-*-4346")) - #(ribcage () () ()) - #(ribcage #(orig-x) #((top)) #("l-*-4338"))) - (hygiene guile)) + (list '#(syntax-object if ((top)) (hygiene guile)) + (list '#(syntax-object not ((top)) (hygiene guile)) e0) + (cons '#(syntax-object begin ((top)) (hygiene guile)) (append c (list (cons '#(syntax-object doloop - ((top) - #(ribcage () () ()) - #(ribcage - #(step) - #((top)) - #("l-*-4356")) - #(ribcage - #(var init step e0 e1 c) - #((top) - (top) - (top) - (top) - (top) - (top)) - #("l-*-4341" - "l-*-4342" - "l-*-4343" - "l-*-4344" - "l-*-4345" - "l-*-4346")) - #(ribcage () () ()) - #(ribcage - #(orig-x) - #((top)) - #("l-*-4338"))) + ((top)) (hygiene guile)) step))))))) tmp-1) (let ((tmp-1 ($sc-dispatch tmp '(any . each-any)))) (if tmp-1 (apply (lambda (e1 e2) - (list '#(syntax-object - let - ((top) - #(ribcage - #(e1 e2) - #((top) (top)) - #("l-*-4365" "l-*-4366")) - #(ribcage () () ()) - #(ribcage #(step) #((top)) #("l-*-4356")) - #(ribcage - #(var init step e0 e1 c) - #((top) (top) (top) (top) (top) (top)) - #("l-*-4341" - "l-*-4342" - "l-*-4343" - "l-*-4344" - "l-*-4345" - "l-*-4346")) - #(ribcage () () ()) - #(ribcage #(orig-x) #((top)) #("l-*-4338"))) - (hygiene guile)) - '#(syntax-object - doloop - ((top) - #(ribcage - #(e1 e2) - #((top) (top)) - #("l-*-4365" "l-*-4366")) - #(ribcage () () ()) - #(ribcage #(step) #((top)) #("l-*-4356")) - #(ribcage - #(var init step e0 e1 c) - #((top) (top) (top) (top) (top) (top)) - #("l-*-4341" - "l-*-4342" - "l-*-4343" - "l-*-4344" - "l-*-4345" - "l-*-4346")) - #(ribcage () () ()) - #(ribcage #(orig-x) #((top)) #("l-*-4338"))) - (hygiene guile)) + (list '#(syntax-object let ((top)) (hygiene guile)) + '#(syntax-object doloop ((top)) (hygiene guile)) (map list var init) - (list '#(syntax-object - if - ((top) - #(ribcage - #(e1 e2) - #((top) (top)) - #("l-*-4365" "l-*-4366")) - #(ribcage () () ()) - #(ribcage #(step) #((top)) #("l-*-4356")) - #(ribcage - #(var init step e0 e1 c) - #((top) (top) (top) (top) (top) (top)) - #("l-*-4341" - "l-*-4342" - "l-*-4343" - "l-*-4344" - "l-*-4345" - "l-*-4346")) - #(ribcage () () ()) - #(ribcage #(orig-x) #((top)) #("l-*-4338"))) - (hygiene guile)) + (list '#(syntax-object if ((top)) (hygiene guile)) e0 - (cons '#(syntax-object - begin - ((top) - #(ribcage - #(e1 e2) - #((top) (top)) - #("l-*-4365" "l-*-4366")) - #(ribcage () () ()) - #(ribcage #(step) #((top)) #("l-*-4356")) - #(ribcage - #(var init step e0 e1 c) - #((top) (top) (top) (top) (top) (top)) - #("l-*-4341" - "l-*-4342" - "l-*-4343" - "l-*-4344" - "l-*-4345" - "l-*-4346")) - #(ribcage () () ()) - #(ribcage - #(orig-x) - #((top)) - #("l-*-4338"))) - (hygiene guile)) + (cons '#(syntax-object begin ((top)) (hygiene guile)) (cons e1 e2)) - (cons '#(syntax-object - begin - ((top) - #(ribcage - #(e1 e2) - #((top) (top)) - #("l-*-4365" "l-*-4366")) - #(ribcage () () ()) - #(ribcage #(step) #((top)) #("l-*-4356")) - #(ribcage - #(var init step e0 e1 c) - #((top) (top) (top) (top) (top) (top)) - #("l-*-4341" - "l-*-4342" - "l-*-4343" - "l-*-4344" - "l-*-4345" - "l-*-4346")) - #(ribcage () () ()) - #(ribcage - #(orig-x) - #((top)) - #("l-*-4338"))) - (hygiene guile)) + (cons '#(syntax-object begin ((top)) (hygiene guile)) (append c (list (cons '#(syntax-object doloop - ((top) - #(ribcage - #(e1 e2) - #((top) (top)) - #("l-*-4365" "l-*-4366")) - #(ribcage () () ()) - #(ribcage - #(step) - #((top)) - #("l-*-4356")) - #(ribcage - #(var init step e0 e1 c) - #((top) - (top) - (top) - (top) - (top) - (top)) - #("l-*-4341" - "l-*-4342" - "l-*-4343" - "l-*-4344" - "l-*-4345" - "l-*-4346")) - #(ribcage () () ()) - #(ribcage - #(orig-x) - #((top)) - #("l-*-4338"))) + ((top)) (hygiene guile)) step))))))) tmp-1) @@ -9108,139 +2727,22 @@ (let ((tmp p)) (let ((tmp-1 ($sc-dispatch tmp - '(#(free-id - #(syntax-object - unquote - ((top) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile))) - any)))) + '(#(free-id #(syntax-object unquote ((top)) (hygiene guile))) any)))) (if tmp-1 (apply (lambda (p) (if (= lev 0) - (list '#(syntax-object - "value" - ((top) - #(ribcage #(p) #((top)) #("l-*-4406")) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - p) + (list "value" p) (quasicons - '(#(syntax-object - "quote" - ((top) - #(ribcage #(p) #((top)) #("l-*-4406")) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - #(syntax-object - unquote - ((top) - #(ribcage #(p) #((top)) #("l-*-4406")) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile))) + '("quote" #(syntax-object unquote ((top)) (hygiene guile))) (quasi (list p) (- lev 1))))) tmp-1) (let ((tmp-1 ($sc-dispatch tmp - '(#(free-id - #(syntax-object - quasiquote - ((top) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile))) - any)))) + '(#(free-id #(syntax-object quasiquote ((top)) (hygiene guile))) any)))) (if tmp-1 (apply (lambda (p) (quasicons - '(#(syntax-object - "quote" - ((top) - #(ribcage #(p) #((top)) #("l-*-4409")) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - #(syntax-object - quasiquote - ((top) - #(ribcage #(p) #((top)) #("l-*-4409")) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile))) + '("quote" #(syntax-object quasiquote ((top)) (hygiene guile))) (quasi (list p) (+ lev 1)))) tmp-1) (let ((tmp-1 ($sc-dispatch tmp '(any . any)))) @@ -9249,266 +2751,39 @@ (let ((tmp-1 p)) (let ((tmp ($sc-dispatch tmp-1 - '(#(free-id - #(syntax-object - unquote - ((top) - #(ribcage #(p q) #((top) (top)) #("l-*-4412" "l-*-4413")) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile))) + '(#(free-id #(syntax-object unquote ((top)) (hygiene guile))) . each-any)))) (if tmp (apply (lambda (p) (if (= lev 0) (quasilist* - (map (lambda (tmp) - (list '#(syntax-object - "value" - ((top) - #(ribcage #(p) #((top)) #("l-*-4418")) - #(ribcage - #(p q) - #((top) (top)) - #("l-*-4412" "l-*-4413")) - #(ribcage () () ()) - #(ribcage - #(p lev) - #((top) (top)) - #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - tmp)) - p) + (map (lambda (tmp) (list "value" tmp)) p) (quasi q lev)) (quasicons (quasicons - '(#(syntax-object - "quote" - ((top) - #(ribcage #(p) #((top)) #("l-*-4418")) - #(ribcage - #(p q) - #((top) (top)) - #("l-*-4412" "l-*-4413")) - #(ribcage () () ()) - #(ribcage - #(p lev) - #((top) (top)) - #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - #(syntax-object - unquote - ((top) - #(ribcage #(p) #((top)) #("l-*-4418")) - #(ribcage - #(p q) - #((top) (top)) - #("l-*-4412" "l-*-4413")) - #(ribcage () () ()) - #(ribcage - #(p lev) - #((top) (top)) - #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile))) + '("quote" #(syntax-object unquote ((top)) (hygiene guile))) (quasi p (- lev 1))) (quasi q lev)))) tmp) (let ((tmp ($sc-dispatch tmp-1 '(#(free-id - #(syntax-object - unquote-splicing - ((top) - #(ribcage - #(p q) - #((top) (top)) - #("l-*-4412" "l-*-4413")) - #(ribcage () () ()) - #(ribcage - #(p lev) - #((top) (top)) - #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile))) + #(syntax-object unquote-splicing ((top)) (hygiene guile))) . each-any)))) (if tmp (apply (lambda (p) (if (= lev 0) (quasiappend - (map (lambda (tmp) - (list '#(syntax-object - "value" - ((top) - #(ribcage #(p) #((top)) #("l-*-4423")) - #(ribcage - #(p q) - #((top) (top)) - #("l-*-4412" "l-*-4413")) - #(ribcage () () ()) - #(ribcage - #(p lev) - #((top) (top)) - #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) - (top) - (top) - (top) - (top) - (top) - (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - tmp)) - p) + (map (lambda (tmp) (list "value" tmp)) p) (quasi q lev)) (quasicons (quasicons - '(#(syntax-object - "quote" - ((top) - #(ribcage #(p) #((top)) #("l-*-4423")) - #(ribcage - #(p q) - #((top) (top)) - #("l-*-4412" "l-*-4413")) - #(ribcage () () ()) - #(ribcage - #(p lev) - #((top) (top)) - #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) + '("quote" #(syntax-object unquote-splicing - ((top) - #(ribcage #(p) #((top)) #("l-*-4423")) - #(ribcage - #(p q) - #((top) (top)) - #("l-*-4412" "l-*-4413")) - #(ribcage () () ()) - #(ribcage - #(p lev) - #((top) (top)) - #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) + ((top)) (hygiene guile))) (quasi p (- lev 1))) (quasi q lev)))) @@ -9518,25 +2793,7 @@ (let ((tmp-1 ($sc-dispatch tmp '#(vector each-any)))) (if tmp-1 (apply (lambda (x) (quasivector (vquasi x lev))) tmp-1) - (let ((p tmp)) - (list '#(syntax-object - "quote" - ((top) - #(ribcage #(p) #((top)) #("l-*-4431")) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4402" "l-*-4403")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - p))))))))))))) + (let ((p tmp)) (list "quote" p))))))))))))) (vquasi (lambda (p lev) (let ((tmp p)) @@ -9546,208 +2803,33 @@ (let ((tmp-1 p)) (let ((tmp ($sc-dispatch tmp-1 - '(#(free-id - #(syntax-object - unquote - ((top) - #(ribcage #(p q) #((top) (top)) #("l-*-4439" "l-*-4440")) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4435" "l-*-4436")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile))) + '(#(free-id #(syntax-object unquote ((top)) (hygiene guile))) . each-any)))) (if tmp (apply (lambda (p) (if (= lev 0) - (quasilist* - (map (lambda (tmp) - (list '#(syntax-object - "value" - ((top) - #(ribcage #(p) #((top)) #("l-*-4445")) - #(ribcage #(p q) #((top) (top)) #("l-*-4439" "l-*-4440")) - #(ribcage () () ()) - #(ribcage - #(p lev) - #((top) (top)) - #("l-*-4435" "l-*-4436")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - tmp)) - p) - (vquasi q lev)) + (quasilist* (map (lambda (tmp) (list "value" tmp)) p) (vquasi q lev)) (quasicons (quasicons - '(#(syntax-object - "quote" - ((top) - #(ribcage #(p) #((top)) #("l-*-4445")) - #(ribcage #(p q) #((top) (top)) #("l-*-4439" "l-*-4440")) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4435" "l-*-4436")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - #(syntax-object - unquote - ((top) - #(ribcage #(p) #((top)) #("l-*-4445")) - #(ribcage #(p q) #((top) (top)) #("l-*-4439" "l-*-4440")) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4435" "l-*-4436")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile))) + '("quote" #(syntax-object unquote ((top)) (hygiene guile))) (quasi p (- lev 1))) (vquasi q lev)))) tmp) (let ((tmp ($sc-dispatch tmp-1 - '(#(free-id - #(syntax-object - unquote-splicing - ((top) - #(ribcage #(p q) #((top) (top)) #("l-*-4439" "l-*-4440")) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4435" "l-*-4436")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile))) + '(#(free-id #(syntax-object unquote-splicing ((top)) (hygiene guile))) . each-any)))) (if tmp (apply (lambda (p) (if (= lev 0) (quasiappend - (map (lambda (tmp) - (list '#(syntax-object - "value" - ((top) - #(ribcage #(p) #((top)) #("l-*-4450")) - #(ribcage - #(p q) - #((top) (top)) - #("l-*-4439" "l-*-4440")) - #(ribcage () () ()) - #(ribcage - #(p lev) - #((top) (top)) - #("l-*-4435" "l-*-4436")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - tmp)) - p) + (map (lambda (tmp) (list "value" tmp)) p) (vquasi q lev)) (quasicons (quasicons - '(#(syntax-object - "quote" - ((top) - #(ribcage #(p) #((top)) #("l-*-4450")) - #(ribcage #(p q) #((top) (top)) #("l-*-4439" "l-*-4440")) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4435" "l-*-4436")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - #(syntax-object - unquote-splicing - ((top) - #(ribcage #(p) #((top)) #("l-*-4450")) - #(ribcage #(p q) #((top) (top)) #("l-*-4439" "l-*-4440")) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4435" "l-*-4436")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile))) + '("quote" #(syntax-object unquote-splicing ((top)) (hygiene guile))) (quasi p (- lev 1))) (vquasi q lev)))) tmp) @@ -9755,25 +2837,7 @@ tmp-1) (let ((tmp-1 ($sc-dispatch tmp '()))) (if tmp-1 - (apply (lambda () - '(#(syntax-object - "quote" - ((top) - #(ribcage () () ()) - #(ribcage #(p lev) #((top) (top)) #("l-*-4435" "l-*-4436")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - ())) - tmp-1) + (apply (lambda () '("quote" ())) tmp-1) (syntax-violation #f "source expression failed to match any pattern" @@ -9791,177 +2855,16 @@ (let ((tmp x)) (let ((tmp ($sc-dispatch tmp '(#(atom "quote") any)))) (if tmp - (apply (lambda (dx) - (list '#(syntax-object - "quote" - ((top) - #(ribcage #(dx) #((top)) #("l-*-4472")) - #(ribcage #(dy) #((top)) #("l-*-4468")) - #(ribcage () () ()) - #(ribcage - #(x y) - #((top) (top)) - #("l-*-4462" "l-*-4463")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage - #(x y) - #((top) (top)) - #("l-*-4457" "l-*-4458")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - (cons dx dy))) - tmp) - (if (null? dy) - (list '#(syntax-object - "list" - ((top) - #(ribcage #(dy) #((top)) #("l-*-4468")) - #(ribcage () () ()) - #(ribcage #(x y) #((top) (top)) #("l-*-4462" "l-*-4463")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage #(x y) #((top) (top)) #("l-*-4457" "l-*-4458")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - x) - (list '#(syntax-object - "list*" - ((top) - #(ribcage #(dy) #((top)) #("l-*-4468")) - #(ribcage () () ()) - #(ribcage #(x y) #((top) (top)) #("l-*-4462" "l-*-4463")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage #(x y) #((top) (top)) #("l-*-4457" "l-*-4458")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - x - y)))))) + (apply (lambda (dx) (list "quote" (cons dx dy))) tmp) + (if (null? dy) (list "list" x) (list "list*" x y)))))) tmp-1) (let ((tmp-1 ($sc-dispatch tmp '(#(atom "list") . any)))) (if tmp-1 - (apply (lambda (stuff) - (cons '#(syntax-object - "list" - ((top) - #(ribcage #(stuff) #((top)) #("l-*-4475")) - #(ribcage () () ()) - #(ribcage #(x y) #((top) (top)) #("l-*-4462" "l-*-4463")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage #(x y) #((top) (top)) #("l-*-4457" "l-*-4458")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - (cons x stuff))) - tmp-1) + (apply (lambda (stuff) (cons "list" (cons x stuff))) tmp-1) (let ((tmp ($sc-dispatch tmp '(#(atom "list*") . any)))) (if tmp - (apply (lambda (stuff) - (cons '#(syntax-object - "list*" - ((top) - #(ribcage #(stuff) #((top)) #("l-*-4478")) - #(ribcage () () ()) - #(ribcage #(x y) #((top) (top)) #("l-*-4462" "l-*-4463")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage #(x y) #((top) (top)) #("l-*-4457" "l-*-4458")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - (cons x stuff))) - tmp) - (list '#(syntax-object - "list*" - ((top) - #(ribcage () () ()) - #(ribcage #(x y) #((top) (top)) #("l-*-4462" "l-*-4463")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage #(x y) #((top) (top)) #("l-*-4457" "l-*-4458")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - x - y))))))))) + (apply (lambda (stuff) (cons "list*" (cons x stuff))) tmp) + (list "list*" x y))))))))) tmp) (syntax-violation #f @@ -9974,54 +2877,13 @@ (if tmp (apply (lambda () (if (null? x) - '(#(syntax-object - "quote" - ((top) - #(ribcage () () ()) - #(ribcage #(x y) #((top) (top)) #("l-*-4482" "l-*-4483")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - ()) + '("quote" ()) (if (null? (cdr x)) (car x) (let ((tmp-1 x)) (let ((tmp ($sc-dispatch tmp-1 'each-any))) (if tmp - (apply (lambda (p) - (cons '#(syntax-object - "append" - ((top) - #(ribcage () () ()) - #(ribcage #(p) #((top)) #("l-*-4490")) - #(ribcage () () ()) - #(ribcage #(x y) #((top) (top)) #("l-*-4482" "l-*-4483")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - p)) - tmp) + (apply (lambda (p) (cons "append" p)) tmp) (syntax-violation #f "source expression failed to match any pattern" @@ -10032,27 +2894,7 @@ (let ((tmp-1 (list x y))) (let ((tmp ($sc-dispatch tmp-1 '(each-any any)))) (if tmp - (apply (lambda (p y) - (cons '#(syntax-object - "append" - ((top) - #(ribcage () () ()) - #(ribcage #(p y) #((top) (top)) #("l-*-4497" "l-*-4498")) - #(ribcage () () ()) - #(ribcage #(x y) #((top) (top)) #("l-*-4482" "l-*-4483")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - (append p (list y)))) - tmp) + (apply (lambda (p y) (cons "append" (append p (list y)))) tmp) (syntax-violation #f "source expression failed to match any pattern" @@ -10065,61 +2907,13 @@ (let ((tmp x)) (let ((tmp ($sc-dispatch tmp '(#(atom "quote") each-any)))) (if tmp - (apply (lambda (x) - (list '#(syntax-object - "quote" - ((top) - #(ribcage #(x) #((top)) #("l-*-4514")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4511")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - (list->vector x))) - tmp) + (apply (lambda (x) (list "quote" (list->vector x))) tmp) (let f ((y x) (k (lambda (ls) (let ((tmp-1 ls)) (let ((tmp ($sc-dispatch tmp-1 'each-any))) (if tmp - (apply (lambda (t) - (cons '#(syntax-object - "vector" - ((top) - #(ribcage () () ()) - #(ribcage #(t-4525) #((m-*-4526 top)) #("l-*-4530")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage #(ls) #((top)) #("l-*-4524")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4511")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - t)) - tmp) + (apply (lambda (t) (cons "vector" t)) tmp) (syntax-violation #f "source expression failed to match any pattern" @@ -10127,32 +2921,7 @@ (let ((tmp y)) (let ((tmp-1 ($sc-dispatch tmp '(#(atom "quote") each-any)))) (if tmp-1 - (apply (lambda (y) - (k (map (lambda (tmp) - (list '#(syntax-object - "quote" - ((top) - #(ribcage #(y) #((top)) #("l-*-4535")) - #(ribcage () () ()) - #(ribcage - #(f y k) - #((top) (top) (top)) - #("l-*-4517" "l-*-4518" "l-*-4519")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4511")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - tmp)) - y))) + (apply (lambda (y) (k (map (lambda (tmp) (list "quote" tmp)) y))) tmp-1) (let ((tmp-1 ($sc-dispatch tmp '(#(atom "list") . each-any)))) (if tmp-1 @@ -10161,56 +2930,12 @@ (if tmp-1 (apply (lambda (y z) (f z (lambda (ls) (k (append y ls))))) tmp-1) (let ((else tmp)) - (let ((tmp x)) - (let ((t tmp)) - (list '#(syntax-object - "list->vector" - ((top) - #(ribcage () () ()) - #(ribcage #(t-4552) #((m-*-4553 top)) #("l-*-4556")) - #(ribcage #(else) #((top)) #("l-*-4550")) - #(ribcage () () ()) - #(ribcage - #(f y k) - #((top) (top) (top)) - #("l-*-4517" "l-*-4518" "l-*-4519")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4511")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - t))))))))))))))))) + (let ((tmp x)) (let ((t tmp)) (list "list->vector" t))))))))))))))))) (emit (lambda (x) (let ((tmp x)) (let ((tmp-1 ($sc-dispatch tmp '(#(atom "quote") any)))) (if tmp-1 - (apply (lambda (x) - (list '#(syntax-object - quote - ((top) - #(ribcage #(x) #((top)) #("l-*-4562")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4559")) - #(ribcage - (emit quasivector quasilist* quasiappend quasicons vquasi quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - x)) + (apply (lambda (x) (list '#(syntax-object quote ((top)) (hygiene guile)) x)) tmp-1) (let ((tmp-1 ($sc-dispatch tmp '(#(atom "list") . each-any)))) (if tmp-1 @@ -10218,32 +2943,7 @@ (let ((tmp-1 (map emit x))) (let ((tmp ($sc-dispatch tmp-1 'each-any))) (if tmp - (apply (lambda (t) - (cons '#(syntax-object - list - ((top) - #(ribcage () () ()) - #(ribcage #(t-4567) #((m-*-4568 top)) #("l-*-4572")) - #(ribcage #(x) #((top)) #("l-*-4565")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4559")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - t)) + (apply (lambda (t) (cons '#(syntax-object list ((top)) (hygiene guile)) t)) tmp) (syntax-violation #f @@ -10260,43 +2960,7 @@ (let ((tmp ($sc-dispatch tmp-1 '(any any)))) (if tmp (apply (lambda (t-1 t) - (list '#(syntax-object - cons - ((top) - #(ribcage () () ()) - #(ribcage - #(t-4587 t-4586) - #((m-*-4588 top) (m-*-4588 top)) - #("l-*-4592" "l-*-4593")) - #(ribcage () () ()) - #(ribcage - #(f x*) - #((top) (top)) - #("l-*-4581" "l-*-4582")) - #(ribcage - #(x y) - #((top) (top)) - #("l-*-4577" "l-*-4578")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4559")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - t-1 - t)) + (list '#(syntax-object cons ((top)) (hygiene guile)) t-1 t)) tmp) (syntax-violation #f @@ -10310,31 +2974,7 @@ (let ((tmp ($sc-dispatch tmp-1 'each-any))) (if tmp (apply (lambda (t) - (cons '#(syntax-object - append - ((top) - #(ribcage () () ()) - #(ribcage #(t-4599) #((m-*-4600 top)) #("l-*-4604")) - #(ribcage #(x) #((top)) #("l-*-4597")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4559")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - t)) + (cons '#(syntax-object append ((top)) (hygiene guile)) t)) tmp) (syntax-violation #f @@ -10348,34 +2988,7 @@ (let ((tmp ($sc-dispatch tmp-1 'each-any))) (if tmp (apply (lambda (t) - (cons '#(syntax-object - vector - ((top) - #(ribcage () () ()) - #(ribcage - #(t-4611) - #((m-*-4612 top)) - #("l-*-4616")) - #(ribcage #(x) #((top)) #("l-*-4609")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4559")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - t)) + (cons '#(syntax-object vector ((top)) (hygiene guile)) t)) tmp) (syntax-violation #f @@ -10387,31 +3000,7 @@ (apply (lambda (x) (let ((tmp (emit x))) (let ((t tmp)) - (list '#(syntax-object - list->vector - ((top) - #(ribcage () () ()) - #(ribcage #(t-4623) #((m-*-4624 top)) #("l-*-4627")) - #(ribcage #(x) #((top)) #("l-*-4621")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4559")) - #(ribcage - (emit quasivector - quasilist* - quasiappend - quasicons - vquasi - quasi) - ((top) (top) (top) (top) (top) (top) (top)) - ("l-*-4398" - "l-*-4396" - "l-*-4394" - "l-*-4392" - "l-*-4390" - "l-*-4388" - "l-*-4386"))) - (hygiene guile)) - t)))) + (list '#(syntax-object list->vector ((top)) (hygiene guile)) t)))) tmp-1) (let ((tmp-1 ($sc-dispatch tmp '(#(atom "value") any)))) (if tmp-1 @@ -10452,19 +3041,7 @@ (let ((tmp ($sc-dispatch tmp-1 'each-any))) (if tmp (apply (lambda (exp) - (cons '#(syntax-object - begin - ((top) - #(ribcage () () ()) - #(ribcage #(exp) #((top)) #("l-*-4665")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage #(fn) #((top)) #("l-*-4660")) - #(ribcage #(k filename) #((top) (top)) #("l-*-4656" "l-*-4657")) - #(ribcage (read-file) ((top)) ("l-*-4640")) - #(ribcage #(x) #((top)) #("l-*-4639"))) - (hygiene guile)) - exp)) + (cons '#(syntax-object begin ((top)) (hygiene guile)) exp)) tmp) (syntax-violation #f @@ -10497,19 +3074,7 @@ x filename)))))) (let ((fn tmp)) - (list '#(syntax-object - include - ((top) - #(ribcage () () ()) - #(ribcage #(fn) #((top)) #("l-*-4680")) - #(ribcage () () ()) - #(ribcage () () ()) - #(ribcage #(fn) #((top)) #("l-*-4676")) - #(ribcage #(k filename) #((top) (top)) #("l-*-4672" "l-*-4673")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4669"))) - (hygiene guile)) - fn))))) + (list '#(syntax-object include ((top)) (hygiene guile)) fn))))) tmp) (syntax-violation #f @@ -10550,144 +3115,23 @@ (let ((tmp-1 clause)) (let ((tmp ($sc-dispatch tmp-1 - '(#(free-id - #(syntax-object - else - ((top) - #(ribcage () () ()) - #(ribcage - #(f clause clauses) - #((top) (top) (top)) - #("l-*-4704" "l-*-4705" "l-*-4706")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile))) + '(#(free-id #(syntax-object else ((top)) (hygiene guile))) any . each-any)))) (if tmp (apply (lambda (e1 e2) - (cons '#(syntax-object - begin - ((top) - #(ribcage #(e1 e2) #((top) (top)) #("l-*-4713" "l-*-4714")) - #(ribcage () () ()) - #(ribcage - #(f clause clauses) - #((top) (top) (top)) - #("l-*-4704" "l-*-4705" "l-*-4706")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile)) - (cons e1 e2))) + (cons '#(syntax-object begin ((top)) (hygiene guile)) (cons e1 e2))) tmp) (let ((tmp ($sc-dispatch tmp-1 '(each-any any . each-any)))) (if tmp (apply (lambda (k e1 e2) - (list '#(syntax-object - if - ((top) - #(ribcage - #(k e1 e2) - #((top) (top) (top)) - #("l-*-4719" "l-*-4720" "l-*-4721")) - #(ribcage () () ()) - #(ribcage - #(f clause clauses) - #((top) (top) (top)) - #("l-*-4704" "l-*-4705" "l-*-4706")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile)) - (list '#(syntax-object - memv - ((top) - #(ribcage - #(k e1 e2) - #((top) (top) (top)) - #("l-*-4719" "l-*-4720" "l-*-4721")) - #(ribcage () () ()) - #(ribcage - #(f clause clauses) - #((top) (top) (top)) - #("l-*-4704" "l-*-4705" "l-*-4706")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile)) - '#(syntax-object - t - ((top) - #(ribcage - #(k e1 e2) - #((top) (top) (top)) - #("l-*-4719" "l-*-4720" "l-*-4721")) - #(ribcage () () ()) - #(ribcage - #(f clause clauses) - #((top) (top) (top)) - #("l-*-4704" "l-*-4705" "l-*-4706")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile)) - (list '#(syntax-object - quote - ((top) - #(ribcage - #(k e1 e2) - #((top) (top) (top)) - #("l-*-4719" "l-*-4720" "l-*-4721")) - #(ribcage () () ()) - #(ribcage - #(f clause clauses) - #((top) (top) (top)) - #("l-*-4704" "l-*-4705" "l-*-4706")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile)) + (list '#(syntax-object if ((top)) (hygiene guile)) + (list '#(syntax-object memv ((top)) (hygiene guile)) + '#(syntax-object t ((top)) (hygiene guile)) + (list '#(syntax-object quote ((top)) (hygiene guile)) k)) - (cons '#(syntax-object - begin - ((top) - #(ribcage - #(k e1 e2) - #((top) (top) (top)) - #("l-*-4719" "l-*-4720" "l-*-4721")) - #(ribcage () () ()) - #(ribcage - #(f clause clauses) - #((top) (top) (top)) - #("l-*-4704" "l-*-4705" "l-*-4706")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile)) + (cons '#(syntax-object begin ((top)) (hygiene guile)) (cons e1 e2)))) tmp) (syntax-violation 'case "bad clause" x clause)))))) @@ -10697,142 +3141,19 @@ (let ((tmp ($sc-dispatch tmp '(each-any any . each-any)))) (if tmp (apply (lambda (k e1 e2) - (list '#(syntax-object - if - ((top) - #(ribcage - #(k e1 e2) - #((top) (top) (top)) - #("l-*-4733" "l-*-4734" "l-*-4735")) - #(ribcage () () ()) - #(ribcage #(rest) #((top)) #("l-*-4729")) - #(ribcage () () ()) - #(ribcage - #(f clause clauses) - #((top) (top) (top)) - #("l-*-4704" "l-*-4705" "l-*-4706")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile)) - (list '#(syntax-object - memv - ((top) - #(ribcage - #(k e1 e2) - #((top) (top) (top)) - #("l-*-4733" "l-*-4734" "l-*-4735")) - #(ribcage () () ()) - #(ribcage #(rest) #((top)) #("l-*-4729")) - #(ribcage () () ()) - #(ribcage - #(f clause clauses) - #((top) (top) (top)) - #("l-*-4704" "l-*-4705" "l-*-4706")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile)) - '#(syntax-object - t - ((top) - #(ribcage - #(k e1 e2) - #((top) (top) (top)) - #("l-*-4733" "l-*-4734" "l-*-4735")) - #(ribcage () () ()) - #(ribcage #(rest) #((top)) #("l-*-4729")) - #(ribcage () () ()) - #(ribcage - #(f clause clauses) - #((top) (top) (top)) - #("l-*-4704" "l-*-4705" "l-*-4706")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile)) - (list '#(syntax-object - quote - ((top) - #(ribcage - #(k e1 e2) - #((top) (top) (top)) - #("l-*-4733" "l-*-4734" "l-*-4735")) - #(ribcage () () ()) - #(ribcage #(rest) #((top)) #("l-*-4729")) - #(ribcage () () ()) - #(ribcage - #(f clause clauses) - #((top) (top) (top)) - #("l-*-4704" "l-*-4705" "l-*-4706")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile)) + (list '#(syntax-object if ((top)) (hygiene guile)) + (list '#(syntax-object memv ((top)) (hygiene guile)) + '#(syntax-object t ((top)) (hygiene guile)) + (list '#(syntax-object quote ((top)) (hygiene guile)) k)) - (cons '#(syntax-object - begin - ((top) - #(ribcage - #(k e1 e2) - #((top) (top) (top)) - #("l-*-4733" "l-*-4734" "l-*-4735")) - #(ribcage () () ()) - #(ribcage #(rest) #((top)) #("l-*-4729")) - #(ribcage () () ()) - #(ribcage - #(f clause clauses) - #((top) (top) (top)) - #("l-*-4704" "l-*-4705" "l-*-4706")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile)) + (cons '#(syntax-object begin ((top)) (hygiene guile)) (cons e1 e2)) rest)) tmp) (syntax-violation 'case "bad clause" x clause)))))))))) (let ((body tmp)) - (list '#(syntax-object - let - ((top) - #(ribcage () () ()) - #(ribcage #(body) #((top)) #("l-*-4702")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile)) - (list (list '#(syntax-object - t - ((top) - #(ribcage () () ()) - #(ribcage #(body) #((top)) #("l-*-4702")) - #(ribcage - #(e m1 m2) - #((top) (top) (top)) - #("l-*-4694" "l-*-4695" "l-*-4696")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4691"))) - (hygiene guile)) - e)) + (list '#(syntax-object let ((top)) (hygiene guile)) + (list (list '#(syntax-object t ((top)) (hygiene guile)) e)) body)))) tmp) (syntax-violation @@ -10852,145 +3173,36 @@ (make-syntax-transformer 'identifier-syntax 'macro - (lambda (x) - (let ((tmp-1 x)) + (lambda (xx) + (let ((tmp-1 xx)) (let ((tmp ($sc-dispatch tmp-1 '(_ any)))) (if tmp (apply (lambda (e) - (list '#(syntax-object - lambda - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - '(#(syntax-object - x - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile))) - '#((#(syntax-object - macro-type - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) + (list '#(syntax-object lambda ((top)) (hygiene guile)) + '(#(syntax-object x ((top)) (hygiene guile))) + '#((#(syntax-object macro-type ((top)) (hygiene guile)) . - #(syntax-object - identifier-syntax - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)))) - (list '#(syntax-object - syntax-case - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - '#(syntax-object - x - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) + #(syntax-object identifier-syntax ((top)) (hygiene guile)))) + (list '#(syntax-object syntax-case ((top)) (hygiene guile)) + '#(syntax-object x ((top)) (hygiene guile)) '() - (list '#(syntax-object - id - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - '(#(syntax-object - identifier? - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - (#(syntax-object - syntax - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - #(syntax-object - id - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)))) - (list '#(syntax-object - syntax - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - e)) - (list '(#(syntax-object - _ - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - #(syntax-object - x - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - #(syntax-object - ... - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile))) - (list '#(syntax-object - syntax - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) + (list '#(syntax-object id ((top)) (hygiene guile)) + '(#(syntax-object identifier? ((top)) (hygiene guile)) + (#(syntax-object syntax ((top)) (hygiene guile)) + #(syntax-object id ((top)) (hygiene guile)))) + (list '#(syntax-object syntax ((top)) (hygiene guile)) e)) + (list '(#(syntax-object _ ((top)) (hygiene guile)) + #(syntax-object x ((top)) (hygiene guile)) + #(syntax-object ... ((top)) (hygiene guile))) + (list '#(syntax-object syntax ((top)) (hygiene guile)) (cons e - '(#(syntax-object - x - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - #(syntax-object - ... - ((top) - #(ribcage #(e) #((top)) #("l-*-4751")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile))))))))) + '(#(syntax-object x ((top)) (hygiene guile)) + #(syntax-object ... ((top)) (hygiene guile))))))))) tmp) (let ((tmp ($sc-dispatch tmp-1 '(_ (any any) - ((#(free-id - #(syntax-object - set! - ((top) #(ribcage () () ()) #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile))) - any - any) + ((#(free-id #(syntax-object set! ((top)) (hygiene guile))) any any) any))))) (if (if tmp (apply (lambda (id exp1 var val exp2) @@ -10998,207 +3210,28 @@ tmp) #f) (apply (lambda (id exp1 var val exp2) - (list '#(syntax-object - make-variable-transformer - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - (list '#(syntax-object - lambda - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - '(#(syntax-object - x - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile))) - '#((#(syntax-object - macro-type - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) + (list '#(syntax-object make-variable-transformer ((top)) (hygiene guile)) + (list '#(syntax-object lambda ((top)) (hygiene guile)) + '(#(syntax-object x ((top)) (hygiene guile))) + '#((#(syntax-object macro-type ((top)) (hygiene guile)) . - #(syntax-object - variable-transformer - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)))) - (list '#(syntax-object - syntax-case - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - '#(syntax-object - x - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - '(#(syntax-object - set! - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile))) - (list (list '#(syntax-object - set! - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - var - val) - (list '#(syntax-object - syntax - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - exp2)) + #(syntax-object variable-transformer ((top)) (hygiene guile)))) + (list '#(syntax-object syntax-case ((top)) (hygiene guile)) + '#(syntax-object x ((top)) (hygiene guile)) + '(#(syntax-object set! ((top)) (hygiene guile))) + (list (list '#(syntax-object set! ((top)) (hygiene guile)) var val) + (list '#(syntax-object syntax ((top)) (hygiene guile)) exp2)) (list (cons id - '(#(syntax-object - x - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - #(syntax-object - ... - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)))) - (list '#(syntax-object - syntax - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) + '(#(syntax-object x ((top)) (hygiene guile)) + #(syntax-object ... ((top)) (hygiene guile)))) + (list '#(syntax-object syntax ((top)) (hygiene guile)) (cons exp1 - '(#(syntax-object - x - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" - "l-*-4767" - "l-*-4768" - "l-*-4769" - "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - #(syntax-object - ... - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" - "l-*-4767" - "l-*-4768" - "l-*-4769" - "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)))))) + '(#(syntax-object x ((top)) (hygiene guile)) + #(syntax-object ... ((top)) (hygiene guile)))))) (list id - (list '#(syntax-object - identifier? - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - (list '#(syntax-object - syntax - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" - "l-*-4767" - "l-*-4768" - "l-*-4769" - "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - id)) - (list '#(syntax-object - syntax - ((top) - #(ribcage - #(id exp1 var val exp2) - #((top) (top) (top) (top) (top)) - #("l-*-4766" "l-*-4767" "l-*-4768" "l-*-4769" "l-*-4770")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4748"))) - (hygiene guile)) - exp1)))))) + (list '#(syntax-object identifier? ((top)) (hygiene guile)) + (list '#(syntax-object syntax ((top)) (hygiene guile)) id)) + (list '#(syntax-object syntax ((top)) (hygiene guile)) exp1)))))) tmp) (syntax-violation #f @@ -11214,41 +3247,15 @@ (let ((tmp ($sc-dispatch tmp-1 '(_ (any . any) any . each-any)))) (if tmp (apply (lambda (id args b0 b1) - (list '#(syntax-object - define - ((top) - #(ribcage - #(id args b0 b1) - #((top) (top) (top) (top)) - #("l-*-4780" "l-*-4781" "l-*-4782" "l-*-4783")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4777"))) - (hygiene guile)) + (list '#(syntax-object define ((top)) (hygiene guile)) id - (cons '#(syntax-object - lambda* - ((top) - #(ribcage - #(id args b0 b1) - #((top) (top) (top) (top)) - #("l-*-4780" "l-*-4781" "l-*-4782" "l-*-4783")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4777"))) - (hygiene guile)) + (cons '#(syntax-object lambda* ((top)) (hygiene guile)) (cons args (cons b0 b1))))) tmp) (let ((tmp ($sc-dispatch tmp-1 '(_ any any)))) (if (if tmp (apply (lambda (id val) (identifier? id)) tmp) #f) (apply (lambda (id val) - (list '#(syntax-object - define - ((top) - #(ribcage #(id val) #((top) (top)) #("l-*-4794" "l-*-4795")) - #(ribcage () () ()) - #(ribcage #(x) #((top)) #("l-*-4777"))) - (hygiene guile)) - id - val)) + (list '#(syntax-object define ((top)) (hygiene guile)) id val)) tmp) (syntax-violation #f diff --git a/module/ice-9/psyntax.scm b/module/ice-9/psyntax.scm index 7f2f3e383..a25bbba66 100644 --- a/module/ice-9/psyntax.scm +++ b/module/ice-9/psyntax.scm @@ -2775,8 +2775,8 @@ ((out ...) (let () e1 e2 ...))))))) (define-syntax syntax-rules - (lambda (x) - (syntax-case x () + (lambda (xx) + (syntax-case xx () ((_ (k ...) ((keyword . pattern) template) ...) #'(lambda (x) ;; embed patterns as procedure metadata @@ -3027,8 +3027,8 @@ (error "variable transformer not a procedure" proc))) (define-syntax identifier-syntax - (lambda (x) - (syntax-case x (set!) + (lambda (xx) + (syntax-case xx (set!) ((_ e) #'(lambda (x) #((macro-type . identifier-syntax)) |