From 7e5ea096a59abb7516cc9b0bb2dc43847f697aff Mon Sep 17 00:00:00 2001
From: Joseph Ferano <joseph@ferano.io>
Date: Sat, 26 Sep 2026 05:27:27 +0700
Subject: [PATCH] A top-level let is a .fln global

---
 TODO.org | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/TODO.org b/TODO.org
index c2053d92..af52b515 100644
--- a/TODO.org
+++ b/TODO.org
@@ -667,6 +667,10 @@ Decided 2026-09-26: ~class Lambda(param, body, env)~, ~generic describe(v) -> dy
 ~method describe(f: Lambda)~ plus a block (the class as the parameter's type),
 ~multi kind(v) -> dyn = type-of(v)~, ~method kind(v) when :int~ plus a block.
 
+** NEXT A top-level let is a global
+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 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.