jaredj/glotawk - Change CSYWOT2I424JQUSOH4DB6UNOOHMB5FOA5B7AY4CE45EQORRB4LWAC

fix and test quasiquote; make reduce only call f if it has two arguments to supply

Created by jaredj on August 20, 2025

CSYWOT2I424JQUSOH4DB6UNOOHMB5FOA5B7AY4CE45EQORRB4LWAC

Dependencies

In channels

main

Change contents

Insertion in sane_lisp at line 177 [3.900]

[2.721]

[3.3557]

lisp_eval_should_be '(reduce only2+ 1)' '1' 'reduce with atom does not call f'
lisp_eval_should_be '(reduce only2+ '\''(1))' '1' 'reduce without enough in list does not call f'
lisp_eval_should_be '(reduce only2+ '\''(1 2))' '3' 'reduce with enough items calls f'
lisp_eval_should_be '`()' '()' 'quasiquote nil'
lisp_eval_should_be '`foo' '()' 'quasiquoting atom makes error'
lisp_eval_should_be '`(1)' '(1)' 'quasiquote single item list'
lisp_eval_should_be '`(foo (bar) baz)' '(foo (bar) baz)' 'quasiquote with list inside'
lisp_eval_should_be '`(foo (bar ,(+ 1 2)) baz)' '(foo (bar 3) baz)' 'quasiquote with unquote inside list'
lisp_eval_should_be '(let ((xs '\''(1 2))) `(foo ,@xs baz))' \
                    '(foo 1 2 baz)' 'quasiquote splicing unquote'
lisp_eval_should_be '(let ((xs '\''(1 2))) `(foo (bar ,@xs bletch) baz))' \
                    '(foo (bar 1 2 bletch) baz)' \
                    'quasiquote splicing unquote inside list'

Replacement in lib-eval.awk at line 79 [5.21710]

B:BD[4.1432] → [4.1432:1580]

                     ((atom xs) (f xs))                                 \
                     ((null (cdr xs)) (f (car xs)))                     \

[4.1432]

[4.1580]

                     ((atom xs) xs)                                     \
                     ((null (cdr xs)) (car xs))                         \

Replacement in lib-eval.awk at line 87 [5.21710]

B:BD[6.2914] → [4.1803:1897]

                              (cond ((atom an) (list (quote list) (list 'quote an)))        \

[6.2914]

[4.1897]

                              (cond ((atom an)                          \
                                     (list 'list (list 'quote an)))     \

Replacement in lib-eval.awk at line 90 [5.21710]

B:BD[4.1971] → [4.1971:2058]

                                     (list (quote list) (cadr an)))                  \

[4.1971]

[4.2058]

                                     (list 'list (cadr an)))            \

Replacement in lib-eval.awk at line 92 [5.21710]

B:BD[4.2132] → [4.2132:2206]

∅:D[4.2206] → [6.3069:3143]

B:BD[6.3069] → [6.3069:3143]

                                     (cadr an))                         \
                                    (true (mapcar qq1 an))))))          \

[4.2132]

[6.3143]

                                     (cadr an))                        \
                                    (true (list 'list                   \
                                                (list 'reduce 'append   \
                                                (cons 'list (mapcar qq1 an))))) \
                                         ))))                            \

Replacement in lib-eval.awk at line 98 [5.21710]

B:BD[6.3217] → [4.2207:2342]

                           (true (list (quote reduce) (quote append)     \
                                       (cons (quote list) \

[6.3217]

[4.2342]

                           (true (list 'reduce 'append     \
                                       (cons 'list \

Replacement in eval.awk at line 205 [3.11057]

B:BD[6.4765] → [4.3357:3499]

                logg_dbg("_expand1 macro call",
                         "found macro " _repr(_car(mpair)),
                         depth+1)

[6.4765]

[7.3980]

                logg_dbg("_expand1 macro call", _repr(car), depth+1)