jaredj/glotawk - Change PXI442CY2KQHHAIJ3UNCWKTAI4IFYNGYEBRQMDR6T53YZTY2VMMQC

add ,@ reader syntax and unquote-splicing treatment in quasiquote. fix gc again?

Created by jaredj on August 9, 2025

PXI442CY2KQHHAIJ3UNCWKTAI4IFYNGYEBRQMDR6T53YZTY2VMMQC

Dependencies

In channels

main

Change contents

Insertion in sane_lisp at line 162 [3.900]

[2.230]

[3.3557]

lisp_eval_should_be '(let ((seconds '\''(4 5 6))) `(1 2 3 ,@(mapcar (lambda (x) (+ 2 x)) seconds) 1 ,(+ 5 7) 3))' '(1 2 3 6 7 8 1 12 3)' 'quasiquote with unquote and unquote-splicing'

Replacement in reader.awk at line 10 [3.4015]

∅:D[4.199] → [3.4257:4298]

B:BD[3.4257] → [3.4257:4298]

        } else if(match(input, /^~@/)) {

[4.199]

[3.4298]

        } else if(match(input, /^~/)) {
            ta[++tal] = substr(input, 1, RLENGTH)
        } else if(match(input, /^,@/)) { # unquote-splicing

Replacement in reader.awk at line 20 [3.4015]

B:BD[3.4704] → [3.4704:4782]

        } else if(match(input, /^[^ 	\[\]{}('"`,;)]+/)) { # non-special chars

[3.4704]

[3.4782]

        } else if(match(input, /^[^ 	\[\]{}('"`,;)@]+/)) { # non-special chars

Insertion in reader.awk at line 57 [3.4015]

[4.559]

        i[1]++
    } else if(ta[i[1]] == ",@") {
        quote = "unquote-splicing"

Insertion in lib-eval.awk at line 46 [7.21710]
[5.1236]
[6.1625]
```
)"))
    
    _eval(read_str("\
(progn \
```

Replacement in lib-eval.awk at line 62 [7.21710]

B:BD[6.2376] → [6.2376:2618]

                      (list (append                         \
                             (list (quote lambda) names)    \
                             (cdr body)))                \
                      values)))))                        \

[6.2376]

[6.2618]

                      (list (append                                     \
                             (list (quote lambda) names)                \
                             (cdr body)))                               \
                      values)))))                                       \

Insertion in lib-eval.awk at line 67 [7.21710]

[6.2692]

(setq foldl (lambda (f z xs)                                            \
              (cond ((atom xs)       (f z xs))                          \
                    ((null xs)       z)                                 \
                    ((null (cdr xs)) (f z (car xs)))                    \
                    (true            (foldl f (f z (car xs))            \
                                            (cdr xs))))))               \
(setq reduce (lambda (f xs)                                             \
               (cond ((null xs) nil)                                    \
                     ((atom xs) (f xs))                                 \
                     ((null (cdr xs)) (f (car xs)))                     \
                     (true (foldl f (car xs) (cdr xs))))))              \
(setq mappend (lambda (f xs)                                            \
                (reduce append (mapcar f xs))))                         \

Replacement in lib-eval.awk at line 83 [7.21710]

B:BD[6.2914] → [6.2914:3069]

                              (cond ((atom an) an)                      \
                                    ((eq (car an) 'unquote) (eval (cadr an)))  \

[6.2914]

[6.3069]

                              (cond ((atom an) (list (quote list) (list 'quote an)))        \
                                    ((eq (car an) 'unquote)             \
                                     (list (quote list) (cadr an)))                  \
                                    ((eq (car an) 'unquote-splicing)    \
                                     (cadr an))                         \

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

B:BD[6.3217] → [6.3217:3365]

B:BD[6.3365] → [8.0:376]

B:BD[8.376] → [9.328:556]

                           (true (list (quote quote)                    \
                                       (mapcar qq1 (car lis))))))))     \
(setq foldl (lambda (f z xs)                            \
              (cond ((atom xs)       (f z xs))                \
                    ((null xs)       z)                       \
                    ((null (cdr xs)) (f z (car xs)))          \
                    (true            (foldl f (f z (car xs)) \
                                            (cdr xs))))))    \
(setq reduce (lambda (f xs) \
               (cond ((null xs) nil) \
                     ((atom xs) (f xs)) \
                     ((null (cdr xs)) (f (car xs))) \
                     (true (foldl f (car xs) (cdr xs)))))) \
\

[6.3217]

[8.376]

                           (true (list (quote reduce) (quote append)     \
                                       (cons (quote list) \
                                             (mapcar qq1 (car lis))))))))) \
)"))
    _eval(read_str("\
(progn \

Insertion in gc.awk at line 81 [7.23803]

[5.3566]

    for(i=1; i<=_symbol("%no-gc%"); i++) _MARK[i]=1

Replacement in first-symbols.awk at line 84 [10.17737]

B:BD[10.19427] → [5.3901:3902]

[10.19427]

[5.3902]

    
    _symbol("mapcar")
    _symbol("let")
    _symbol("foldl")
    _symbol("reduce")
    _symbol("mappend")
    _symbol("quasiquote")
    _symbol("+")
    _symbol("*")
    _symbol("-")
    _symbol("/")
    _symbol("//")
    _symbol("%")
    _symbol("**")
    _symbol("%no-gc%")

Replacement in first-symbols.awk at line 107 [10.17737]

B:BD[5.4342] → [5.4342:4394]

                                          _nil())))

[5.4342]

[5.4394]

                                          _cons(_symbol("%no-gc%"),
                                                _nil()))))

Insertion in eval.awk at line 157 [3.11057]

[11.1227]

#            logg_dbg("_expand quoted", _repr(form), depth)

Replacement in eval.awk at line 162 [3.11057]

B:BD[11.1343] → [6.3501:3568]

                #logg_dbg("_expand not macro", _repr(form), depth)

[11.1343]

#                logg_dbg("_expand not macro", _repr(form), depth)

Replacement in eval.awk at line 168 [3.11057]

B:BD[11.1618] → [11.1618:1656]

                return _nreverse(acc)

[11.1618]

[11.1656]

                acc = _nreverse(acc)
#                logg_dbg("_expand not macro", "expanded: " _repr(acc), depth)
                return acc

Replacement in eval.awk at line 176 [3.11057]

B:BD[6.3686] → [6.3686:3795]

                #logg_dbg("_expand macro call", "mpair is " _repr(mpair),
                #         depth+1)

[6.3686]

[6.3795]

#                logg_dbg("_expand macro call", "mpair is " _repr(mpair), depth+1)

Replacement in eval.awk at line 201 [3.11057]

B:BD[6.4579] → [12.2237:2305]

#                logg_dbg("_expand1 not macro", _repr(form), depth)

[6.4579]

[6.4646]

                logg_dbg("_expand1 not macro", _repr(_car(form)), depth)

Replacement in eval.awk at line 205 [3.11057]

B:BD[6.4765] → [12.2306:2416]

#                logg_dbg("_expand1 macro call", "mpair is " _repr(mpair),
#                         depth+1)

[6.4765]

[13.3980]

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

Replacement in eval.awk at line 216 [3.11057]

B:BD[13.4411] → [6.4840:4883]

                return _eval(acc, depth+1)

[13.4411]

[14.1663]

                logg_dbg("_expand1 expanded", _repr(acc), depth)
                acc = _eval3(acc, _nil(), _nil(), depth+1)
                logg_dbg("_expand1 evalled once", _repr(acc), depth)
                return acc

Replacement in dump.awk at line 114 [7.37838]

B:BD[5.7138] → [5.7138:7195]

                #edge ="    n" i ":car -> n" _CAR[i] ";"

[5.7138]

[5.7195]

                #edge ="    n" i ":car -> n" _CAR[i] " [constraint=false];"

Replacement in dump.awk at line 132 [7.37838]

B:BD[5.7775] → [5.7775:7876]

            #print "    n" i " [shape=record,label=\"{<n> " i "|" _SYM_NUMBERS[i] "}\"];" >>filename

[5.7775]

[5.7876]

            print "    n" i " [shape=Mrecord,label=\"{<n> " i "|" _SYM_NUMBERS[i] "}\"];" >>filename

Insertion in data.awk at line 260 [3.16500]

[11.2886]

#    logg_err("_addmacro", "attempt to macro " _repr(name))

Insertion in data.awk at line 268 [3.16500]

[11.3122]


#    for(a=_MACROS; !_is_null(a); a=_cdr(a)) {
#        logg_dbg("_addmacro", "a macro exists at this time: " _repr(_caar(a)))
#    }
#    logg_err("_addmacro", "--")

Replacement in Makefile at line 31 [3.23921]

B:BD[15.3326] → [5.8983:9050]

	(echo "(gc)"; echo "(dump \"$@\")") | $(AWK) -f glotawk-build.awk

[15.3326]

[3.23977]

	(echo "(dump-dot \"before-gc.dot\")"; echo "(gc-dot \"marks.dot\" \"sweeps.dot\")"; echo "(dump \"$@\")"; echo "(dump-dot \"after-gc.dot\")") | $(AWK) -f glotawk-build.awk