From 7c197e3bb0781107ffa813983fa2c776b114ed9a Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Sat, 26 Sep 2026 05:46:52 +0700 Subject: [PATCH] A let takes several bindings on indented lines, queued --- TODO.org | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/TODO.org b/TODO.org index fc6f92ea..94adcb8f 100644 --- a/TODO.org +++ b/TODO.org @@ -671,6 +671,11 @@ Decided 2026-09-26: ~class Lambda(param, body, env)~, ~generic describe(v) -> dy Decided 2026-09-26: in .fln ~let x = v~ at column 0 reads ~(def x v)~ and replaces ~def~, which is refused with that fix; ~once~ and ~const~ stay. +** NEXT A let takes several bindings on indented lines +Decided 2026-09-26: lines indented under a ~let~ that are ~name = v~ or ~name: T = v~ are +more bindings of the same let; anything else there stays refused. flan convert writes +consecutive lets this way. + ** NEXT A struct fits on one line Decided 2026-09-26: ~struct Pt(x: i32, y: i32)~ beside the block form, like a data case; union and a struct with a parent too.