Reimplementation of quasiquote #1473

fare · 2026-07-16T20:41:31Z

fare commented

2026-07-16 20:41:31 +00:00

Fixes bugs
Adds tests (imported from my CL fare-quasiquote, where applicable)
Works with match in cases where ,@ is always in tail position

- Fixes bugs - Adds tests (imported from my CL fare-quasiquote, where applicable) - Works with match in cases where ,@ is always in tail position

fare added 3 commits

2026-07-16 20:41:31 +00:00

Reimplement quasiquote, fix it, make it work with match 918036016f

Remove append*, unused after all 6c0f7a6d13

Remove core/quasiquote, update test/quasiquote-test 7c6aec9bb9

fare changed title from ~~Reimplementation of quasiquote~~ to [WIP] Reimplementation of quasiquote

2026-07-16 20:42:27 +00:00

fare commented

2026-07-16 20:43:22 +00:00

The code is from January. I don't remember why it wasn't merged then.
It should work, but I first gotta rebootstrap.

The code is from January. I don't remember why it wasn't merged then. It should work, but I first gotta rebootstrap.

fare added 2 commits

2026-07-16 21:31:38 +00:00

Tweak tests c94745c6b8

Rebootstrap cc023cf8e5

fare changed title from ~~[WIP] Reimplementation of quasiquote~~ to Reimplementation of quasiquote

2026-07-16 21:32:58 +00:00

vyzo reviewed

2026-07-17 08:58:40 +00:00

vyzo left a comment

couple of very minor comments

src/gerbil/core/match.ss Outdated

					
				@ -65,8 +67,38 @@ package: gerbil/core

				         (if (stx-null? #'rest)

				           [cons: (parse1 #'hd) (parse1 #'tl)]

				           [cons: (parse1 #'hd) (parse1 #'(cons* tl . rest))]))

				        ((qq-list* x y . r)

can you move this after the @list handler?

src/gerbil/core/sugar.ss Outdated

					
				@ -1137,0 +1114,4 @@

				  ;; 1- a top token identifying the context

				  ;; 2- a syntax object

				  ;; When combining quasiquoted expressions, tokens are used for simplifications.

				  (define (quasiquote-expand-0 e)