aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorGravatar Peter McGoron 2025-06-28 15:40:09 -0400
committerGravatar Peter McGoron 2025-06-28 15:40:09 -0400
commit343ceaae699bef4109525c8a1797b44defaf5b01 (patch)
treef87226c6b3ec204af78b17a5a3841afd9c84f367 /test
parentChange environments in untyped LC to use location comparators instead of (diff)
Fix list ellipses pattern matching
A lot of multisyntax was written to use `unwrap-syntax` deliberately, which I now see as a mistake. Implict unwrapping using `syntax-cxr` (and maybe variants like `syntax-vector-ref`) is probably less error prone.
Diffstat (limited to 'test')
-rw-r--r--test/run.scm18
1 files changed, 18 insertions, 0 deletions
diff --git a/test/run.scm b/test/run.scm
index 201c849..dfcaf97 100644
--- a/test/run.scm
+++ b/test/run.scm
@@ -62,6 +62,24 @@
(empty-wrap '(let (x (lambda x x)) (x x)))))))
(display (alpha expanded-list)) (newline))
+(let-values (((global-map expanded-list)
+ (expand initial-environment
+ (list (empty-wrap
+ '(define-syntax let
+ (syntax-rules ()
+ ((let ((name value)) body)
+ ((lambda name body) value)))))
+ (empty-wrap
+ '(define-syntax or
+ (syntax-rules ()
+ ((or) false)
+ ((or x y ...)
+ (let ((tmp x))
+ (if tmp x (or y ...)))))))
+ (empty-wrap
+ '(or a b tmp c d e))))))
+ (display (alpha expanded-list)) (newline))
+
#;(begin
(load "examples/untyped-lambda-calculus.sld")
(import (multisyntax examples untyped-lambda-calculus test))
mp;d=retro' width='13' height='13' alt='Gravatar' /> John Cowan 1-43/+68 2021-07-26exceptionsGravatar John Cowan 1-1/+15 2021-07-26new exampleGravatar John Cowan 1-1/+4 2021-07-26updatesGravatar John Cowan 1-2/+4 2021-07-26dtd always first argumentGravatar John Cowan 1-9/+9 2021-07-26DTO to DTDGravatar John Cowan 1-55/+52 2021-07-26typoGravatar John Cowan 1-1/+1 2021-07-26switching to explicit dtosGravatar John Cowan 1-88/+102 2021-07-26errorsGravatar John Cowan 1-1/+4 2021-07-26more MN-W reviewGravatar John Cowan 1-5/+5 2021-07-26update preview linkGravatar John Cowan 1-1/+1 2021-07-26MN-W reviewGravatar John Cowan 1-6/+6 2021-07-26paired mutatorsGravatar John Cowan 1-43/+68 2021-07-25exceptionsGravatar John Cowan 1-1/+15 2021-07-25new exampleGravatar John Cowan 1-1/+4 2021-07-25updatesGravatar John Cowan 1-2/+4 2021-07-24dtd always first argumentGravatar John Cowan 1-9/+9 2021-07-23DTO to DTDGravatar John Cowan 1-55/+52 2021-07-22typoGravatar John Cowan 1-1/+1 2021-07-22switching to explicit dtosGravatar John Cowan 1-88/+102 2021-07-22errorsGravatar John Cowan 1-1/+4 2021-07-22more MN-W reviewGravatar John Cowan 1-5/+5 2021-07-20update preview linkGravatar John Cowan 1-1/+1 2021-07-20MN-W reviewGravatar John Cowan 1-6/+6 2021-07-18Fix typo.Gravatar Arthur A. Gleckler 2-4/+4 2021-07-18Add <p> around abstract.Gravatar Arthur A. Gleckler 1-2/+2 2021-07-18Publish first draft.draft-1Gravatar Arthur A. Gleckler 3-0/+114 2021-07-18Ignore trailing whitespace.Gravatar Arthur A. Gleckler 11-129/+129 2021-07-18Ignore "Dictionaries.log".Gravatar Arthur A. Gleckler 1-1/+2 2021-07-18Fix errors reported by W3C HTML Validator.Gravatar Arthur A. Gleckler 1-27/+27 2021-07-18Eliminate unnecessary redirect by using TLS/SSL.Gravatar Arthur A. Gleckler 1-1/+1