From 94134da25ad417b9deef9f66ff725bd3f1de08c9 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Fri, 25 Sep 2026 21:32:46 +0700 Subject: [PATCH] Dyn containers print without a space after the bracket, queued --- TODO.org | 3 +++ test/syntax/algorithms.fln | 12 ++++++++++++ 2 files changed, 15 insertions(+) diff --git a/TODO.org b/TODO.org index 35c7ec6a..39f9bf6b 100644 --- a/TODO.org +++ b/TODO.org @@ -304,6 +304,9 @@ compare bools, and a match over a bool takes true/false arms, exhaustive without Decided 2026-09-25: a let whose name no later statement of its block mentions prints flat, not as a nested block; a one-argument and/or prints as its argument. +** NEXT A dyn vector prints as [1 2 3], a map as {:a 1} +Decided 2026-09-25: no space after the opening bracket, in every renderer. + ** WAIT ML-style patterns Held 2026-09-25 as a future direction, like the JS backend: nested destructuring, guards, or-patterns, literals at any depth, exhaustiveness over the nesting. diff --git a/test/syntax/algorithms.fln b/test/syntax/algorithms.fln index 90b0262b..1f267d09 100644 --- a/test/syntax/algorithms.fln +++ b/test/syntax/algorithms.fln @@ -36,6 +36,18 @@ fn insertion-sort(coll: [$t]) -> () where ordered?($t) --(j) ++(i) +fn insertion-sort-dyn(coll) + let i = 1 + let length = length(coll) + while i < length + let j = i + while j > 0 and coll[j] < coll[dec(j)] + let temp = coll[j] + coll[j] = coll[dec(j)] + coll[dec(j)] = temp + --(j) + ++(i) + fn main() -> i32 = 0 comment: