st/amelie

Fork 0

imperative-programming #51

Merged

st merged 46 commits from imperative-programming into main

2026-07-25 21:17:10 +02:00

st commented

2026-07-25 21:16:41 +02:00

Owner

No description provided.

st added 46 commits

2026-07-25 21:16:41 +02:00

do-blocks + newline-aware statements; remove try/? 3e44c75b56

break-after-operator rule; guard brackets; trailing commas dddc13dd85

block fn syntax (fn f() ... end); convert io println/eprintln e27592fda2

let statement (block binding); convert io file/args fns 50b60b848a

remove ; separator; sweep stdlib/examples/tests to blocks 0c094e074e

if ... end (flat else if); sweep stdlib/examples/tests 755b55bf19

Never bottom type + undefined keyword (coercion via Infer.coerce) 76a361111b

harden codegen root-counting: exhaustive via Ir.iter_children 15272133b4

first-class Ir.Block; env-threaded block scope 03b5e155d9

first-class Ir.If and return keyword aa2b95fc9e

Ir.If replaces the if-as-Match desugar (drops FromIf/match_origin).
return is a Never-typed early-exit expression; codegen ret + fresh
dead block; TRE via return->recur. See docs/plans/return-statement.md.

return inference fixes: method/SCC threading + Never call args 1979fd8e0a

- thread return_ty through instance-method and mutual-recursion (SCC)
  body inference (Phase C blockers: return was rejected there)
- constrain_call coerces call/core-call args so a Never arg fills any
  slot, matching operators (fixes f(return x)/f(undefined)); preserves
  the param-first unify direction for nat-witness identity

match arms are blocks (statement sequences) a1c0602924

Arm body runs to the next | or end; multi-statement arms and a
trailing return work like an if branch. Empty arm = Unit. Drop the
now-redundant do-blocks in stdlib/iterators + examples/cat.

while / break / continue loops 89ff29ee9f

while cond do <block> end; break/continue target the innermost loop
(Never-typed, error outside a loop). Codegen is a CFG back-edge reusing
the return block-termination substrate. Also fixes a pre-existing bug:
call-site evidence/dict allocas were emitted at the insertion point, not
the entry block, so any interface/operator call in a loop leaked stack
(overflow at ~5M iters) -- hoisted via entry_alloca. See docs/plans/loops.md.

let mut: is_mut binding flag + mut gates generalization 20e09fb746

Adds is_mut to typed_name (let=false, let mut=true) and the mut keyword.
A mut binding is monomorphic (the value restriction made explicit): the
generalization gate becomes (not is_mut && is_value). Assignment gating
and the := form are the next steps. See docs/plans/let-mut.md.

let mut rebind: x := e on mutable locals 457c0e793c

Assign node; resolve gates on a mut local (scope.locals is a local_info
map; lambda AND named-local-fn boundaries make captured locals read-only).
Codegen: mut scalar = entry-block Cell, heap = Rooted slot. Loop
accumulation without a ref-cell struct. See docs/plans/let-mut.md.

loader: cycle-tolerant re-export resolution beff127947

A `use` cycle through a re-export-only module (the prelude) silently stripped
its re-exports from importers — declared names survived the cycle, re-exported
ones did not. Pre-seed re-exports to a fixpoint and preserve them across Phase 1
so a type-only module cycle (Lists -> Iterators -> Prelude -> Lists) resolves.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

given-driven dispatch for multi-participant interfaces 8d61a4d558

An in-scope forall Iface bound is a local dictionary: a parked multi-participant
dispatch improves its output participant(s) from a unique matching given, and
instance-set shape propagation is guarded off for a given-owned participant. Lets
a generic consumer of Iterate[C, State] type-check without splitting the interface.

Plan: docs/plans/mptc-given-dispatch.md
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

tests: multi-participant given-driven dispatch 442a7199ae

Inference pins (output participant via given, two-givens ambiguity) and a stdlib
Iterate JIT end-to-end consumer.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

docs: given-driven improvement (collect-solve, ledgers, plan) e7023befbc

infer: reject undetermined nat in value bindings 42793c8490

A value binding has no call site to fix a nat and is monomorphized once, so a
generalized (still-free) nat is undetermined, not polymorphic. Reject it
(UndeterminedNat) like an unresolved type instead of letting it reach codegen and
silently monomorphize to 0. Annotated values ground the nat first; function
return-type nat-polymorphism (caller-determined) is unaffected.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

stdlib: unify iteration on the Iterate interface 07ceb10bd1

Move Iterate into std/Iterators, drop the legacy Iterable/Iterator split, add
the Array Iterate instance, and migrate the examples and tests to the unified
interface.

docs, emacs: sync tooling with current syntax 06127a851d

style.md's if/else examples gain the required trailing `end`; the emacs mode's
keyword/type/constant lists track the lexer — adds while/break/continue/return/
mut/do/as, drops stale non-keywords, and fixes Bool/True/String spellings.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

for loops + an imperative example 80d9f235df

for <pat> in <iter> do … end over the Iterate interface, expanded at resolve to
let $it = Iterate.iterate(iter) in while True do match Iterate.next($it) with
None -> break | Some(pat) -> body end end. Prelude re-exports Iterate.
examples/imperative.aml showcases for over Array/List, mutable structs, and
break/continue. Plan: docs/plans/for-loops.md

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

review fixes: plan doc (docs/plans/review-fixes-imperative.md) 8c2dec9a50

infer: Never fits type-inspection positions (cond, match subject) 7b5053c4e7

infer: reject undetermined nat at the declaration close (covers let mut) 887114c390

resolve: for-desugar builds resolved forms with pinned identities b3bcffc9e3

codegen: TRE any returned self-call (guard-style return) 11dc41b06d

parser: loop recovery counts one end; bare return by expr first-set b39f1f8bb2

stdlib: Iterate instances for IntMap, IntSet, HashSet bcd457587a

docs sync + review round: CLAUDE.md snippets, nat-poly test, decision table 803f6a2722

docs: imperative-arc plan status sweep (all phases landed) ac1163f942

Range[T] + .. range sugar 3033d9e7a4

examples: ranges (half-open loops, index ranges, nesting) 7c6beeb4a1

stdlib: String Iterate instance (Unicode scalars) ae50843bb4