Joseph Ferano 6c32383539 Typed lambdas bind a generic's CFn variables, a local shadows an enum of its name, the lambda-in-brackets fix is the typed let that compiles, an else deeper than a one-line if or after else-if is refused by name, a block if takes a one-line else, and messages spell every type in the code's syntax

2026-09-26 00:36:21 +07:00

..

headers

…

programs

A dyn opened in any value position of an operand or an arm makes it meet as a dyn, found by the one walk of value positions the frame-escape check also uses

2026-09-26 00:09:42 +07:00

syntax

Typed lambdas bind a generic's CFn variables, a local shadows an enum of its name, the lambda-in-brackets fix is the typed let that compiles, an else deeper than a one-line if or after else-if is refused by name, a block if takes a one-line else, and messages spell every type in the code's syntax

2026-09-26 00:36:21 +07:00

agent_hooks.c

A restart is taken only after every job queued before it was accepted has run, and a choice waiting for an outer break survives a nested one, so a fix loaded just before retry is the body the retry runs.

2026-09-25 22:01:08 +07:00

cell-override.c

…

cells.sh

…

daemon-x86.out

…

dev_limits.c

…

dune

A function that returns or stores into a global an address or slice of its own frame is refused, a dev free-all poisons any arena's released bytes and ASan sees them released, and @sanitize checks stack use after return

2026-09-25 20:40:21 +07:00

dyn_ops.c

Dyn and typed containers print as [1 2 3] and {:a 1}, a refused dyn view names the value and a dyn fix in the file's own syntax, and a dyn function whose body gives no value says so by name

2026-09-25 22:01:40 +07:00

noinstall.c

…

own_tmp.ml

…

reload_host.c

…

survey-js.sh

…

survey-x86.sh

The x86 survey compares against LLVM built at -O0, the level the hand-written backend corresponds to

2026-09-25 15:15:30 +07:00

test_acceptance.ml

A dyn opened in any value position of an operand or an arm makes it meet as a dyn, found by the one walk of value positions the frame-escape check also uses

2026-09-26 00:09:42 +07:00

test_agent.ml

A restart is taken only after every job queued before it was accepted has run, and a choice waiting for an outer break survives a nested one, so a fix loaded just before retry is the body the retry runs.

2026-09-25 22:01:08 +07:00

test_cider.ml

…

test_dev.ml

A frame that prints shows its globals, live prelude shadowing matches a rebuild, flan run cleans up and dies with flan, and a long socket path works from Emacs

2026-09-25 22:59:50 +07:00

test_dyn.ml

…

test_emacs.ml

An editor socket path too long to connect to is linked at a short path the Emacs client computes the same way

2026-09-25 22:54:44 +07:00

test_flan.ml

A dyn opened by an expectation is marked where it is opened, so a bool or an Option beside a dyn stays a dyn, and an operand refused at a type is not asked again, so nested sums and matches check in linear time

2026-09-25 23:43:14 +07:00

test_reload.ml

…

test_repl.ml

Dyn and typed containers print as [1 2 3] and {:a 1}, a refused dyn view names the value and a dyn fix in the file's own syntax, and a dyn function whose body gives no value says so by name

2026-09-25 22:01:40 +07:00

test_sanitize.ml

A frame address stored into a global's field, array or Vec element, or pushed or put into a global container is refused with a fix that names no wrong type, and the sanitizer sweep builds at -O0 so a read of a returned frame reports

2026-09-25 21:18:48 +07:00

test_session.ml

Merge branch 'master' into worktree-agent-a46233a32d1912c78

2026-09-25 23:27:55 +07:00

test_support.ml

A unix socket path too long for sun_path is bound and reached through its directory, so flan dev runs under any TMPDIR and -s path

2026-09-25 22:18:52 +07:00

test_syntax.ml

Typed lambdas bind a generic's CFn variables, a local shadows an enum of its name, the lambda-in-brackets fix is the typed let that compiles, an else deeper than a one-line if or after else-if is refused by name, a block if takes a one-line else, and messages spell every type in the code's syntax

2026-09-26 00:36:21 +07:00

test_valgrind.ml

The leak sweeps have switches, a C source that includes the dyn header is recompiled when the header changes, and the map-remove and map-keys programs free what they allocate

2026-09-25 15:38:02 +07:00

test_web.ml

…

valgrind.supp

…

wasm-run.mjs

…

watchdog.ml

…