giles
7cf8b74d1d
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 1m7s
apl-run = parse-apl + apl-eval-ast against empty env. Wires tokenizer + parser + transpile + runtime as one entry point. test.sh now loads tokenizer.sx + parser.sx alongside transpile.sx. Source-string tests cover scalars, strands, dyadic arith, right-to-left precedence, monadic primitives, /, \, ⌈/, ×/, ∘.×, +.×, ⍴, comparisons, classic one-liners. Tokenizer doesn't yet handle decimal literals (3.7 → 3 . 7), so two such tests substituted with integer min/max-reduce.
124 lines
2.9 KiB
Plaintext
124 lines
2.9 KiB
Plaintext
; End-to-end pipeline tests: source string → tokenize → parse → eval-ast → array.
|
||
; Verifies the full stack as a single function call (apl-run).
|
||
|
||
(define mkrv (fn (arr) (get arr :ravel)))
|
||
(define mksh (fn (arr) (get arr :shape)))
|
||
|
||
; ---------- scalars ----------
|
||
|
||
(apl-test "apl-run \"42\" → scalar 42" (mkrv (apl-run "42")) (list 42))
|
||
|
||
(apl-test "apl-run \"¯7\" → scalar -7" (mkrv (apl-run "¯7")) (list -7))
|
||
|
||
; ---------- strands ----------
|
||
|
||
(apl-test
|
||
"apl-run \"1 2 3\" → vector"
|
||
(mkrv (apl-run "1 2 3"))
|
||
(list 1 2 3))
|
||
|
||
(apl-test "apl-run \"1 2 3\" shape" (mksh (apl-run "1 2 3")) (list 3))
|
||
|
||
; ---------- dyadic arithmetic ----------
|
||
|
||
(apl-test "apl-run \"2 + 3\" → 5" (mkrv (apl-run "2 + 3")) (list 5))
|
||
|
||
(apl-run "2 × 3 + 4") ; right-to-left
|
||
|
||
(apl-test
|
||
"apl-run \"2 × 3 + 4\" → 14 (right-to-left)"
|
||
(mkrv (apl-run "2 × 3 + 4"))
|
||
(list 14))
|
||
|
||
(apl-test
|
||
"apl-run \"1 2 3 + 4 5 6\" → 5 7 9"
|
||
(mkrv (apl-run "1 2 3 + 4 5 6"))
|
||
(list 5 7 9))
|
||
|
||
(apl-test
|
||
"apl-run \"3 × 1 2 3 4\" → scalar broadcast"
|
||
(mkrv (apl-run "3 × 1 2 3 4"))
|
||
(list 3 6 9 12))
|
||
|
||
; ---------- monadic primitives ----------
|
||
|
||
(apl-test
|
||
"apl-run \"⍳5\" → 1..5"
|
||
(mkrv (apl-run "⍳5"))
|
||
(list 1 2 3 4 5))
|
||
|
||
(apl-test
|
||
"apl-run \"-3\" → -3 (monadic negate)"
|
||
(mkrv (apl-run "-3"))
|
||
(list -3))
|
||
|
||
(apl-test
|
||
"apl-run \"⌈/ 1 3 9 5 7\" → 9 (max-reduce)"
|
||
(mkrv (apl-run "⌈/ 1 3 9 5 7"))
|
||
(list 9))
|
||
|
||
(apl-test
|
||
"apl-run \"⌊/ 4 7 2 9 1 3\" → 1 (min-reduce)"
|
||
(mkrv (apl-run "⌊/ 4 7 2 9 1 3"))
|
||
(list 1))
|
||
|
||
; ---------- operators ----------
|
||
|
||
(apl-test "apl-run \"+/⍳5\" → 15" (mkrv (apl-run "+/⍳5")) (list 15))
|
||
|
||
(apl-test "apl-run \"×/⍳5\" → 120" (mkrv (apl-run "×/⍳5")) (list 120))
|
||
|
||
(apl-test
|
||
"apl-run \"⌈/3 1 4 1 5 9 2\" → 9"
|
||
(mkrv (apl-run "⌈/3 1 4 1 5 9 2"))
|
||
(list 9))
|
||
|
||
(apl-test
|
||
"apl-run \"+\\\\⍳5\" → triangular numbers"
|
||
(mkrv (apl-run "+\\⍳5"))
|
||
(list 1 3 6 10 15))
|
||
|
||
; ---------- outer / inner products ----------
|
||
|
||
(apl-test
|
||
"apl-run \"1 2 3 ∘.× 1 2 3\" → mult table values"
|
||
(mkrv (apl-run "1 2 3 ∘.× 1 2 3"))
|
||
(list 1 2 3 2 4 6 3 6 9))
|
||
|
||
(apl-test
|
||
"apl-run \"1 2 3 +.× 4 5 6\" → dot product 32"
|
||
(mkrv (apl-run "1 2 3 +.× 4 5 6"))
|
||
(list 32))
|
||
|
||
; ---------- shape ----------
|
||
|
||
(apl-test
|
||
"apl-run \"⍴ 1 2 3 4 5\" → 5"
|
||
(mkrv (apl-run "⍴ 1 2 3 4 5"))
|
||
(list 5))
|
||
|
||
(apl-test "apl-run \"⍴⍳10\" → 10" (mkrv (apl-run "⍴⍳10")) (list 10))
|
||
|
||
; ---------- comparison ----------
|
||
|
||
(apl-test "apl-run \"3 < 5\" → 1" (mkrv (apl-run "3 < 5")) (list 1))
|
||
|
||
(apl-test "apl-run \"5 = 5\" → 1" (mkrv (apl-run "5 = 5")) (list 1))
|
||
|
||
(apl-test
|
||
"apl-run \"1 2 3 = 1 0 3\" → 1 0 1"
|
||
(mkrv (apl-run "1 2 3 = 1 0 3"))
|
||
(list 1 0 1))
|
||
|
||
; ---------- famous one-liners ----------
|
||
|
||
(apl-test
|
||
"apl-run \"+/(⍳10)\" → sum 1..10 = 55"
|
||
(mkrv (apl-run "+/(⍳10)"))
|
||
(list 55))
|
||
|
||
(apl-test
|
||
"apl-run \"×/⍳10\" → 10! = 3628800"
|
||
(mkrv (apl-run "×/⍳10"))
|
||
(list 3628800))
|