Joseph Ferano 729d1a27ed map-keys and map-values walk a Map of closures, since (map-next m cur k) walks keys alone and neither needs a zeroed value, and nothing names spike/ any more

2026-09-25 16:10:20 +07:00

..

assets

…

loose

…

pkgs

A class slot's type names its own package's class first, an int widens into a float slot exactly when it round-trips, and a constructor's refusal names the call that was wrong

2026-09-25 13:29:30 +07:00

agent-auto.flan

…

agent-hooks.flan

…

agent-longname.flan

…

agent-nostart.flan

…

agent-queue.flan

…

agent-start-arity.flan

…

agent.flan

…

algorithms.flan

A slice can be read-only: bytes-view answers a [const u8], and a store through one is refused at compile time

2026-09-25 11:43:41 +07:00

allocators.flan

…

annotate.flan

…

arena-region.flan

…

arena-value.flan

…

arith-condition.flan

A condition type may name a parent and a handler for Error catches every built-in error, a signal passes one descriptor carrying its chain, name, sentence and site, and the break loop shows the sentence the runtime wrote

2026-09-25 12:05:13 +07:00

arith.flan

…

array-ctor.flan

…

array-fill.flan

…

array-first-element.flan

(the T e) gives any expression its type, and an array literal nothing names is typed when its elements agree and a dyn vector when they mix

2026-09-25 11:47:28 +07:00

array-mixed.flan

(the T e) gives any expression its type, and an array literal nothing names is typed when its elements agree and a dyn vector when they mix

2026-09-25 11:47:28 +07:00

bounds-condition.flan

A slice can be read-only: bytes-view answers a [const u8], and a store through one is refused at compile time

2026-09-25 11:43:41 +07:00

bounds.flan

…

break.flan

A restart frame carries where its clause is written, its :report sentence and whether a handler-case made it up, and the break loop shows the first two and hides the third

2026-09-25 11:35:12 +07:00

builtin-qualified.flan

…

bytes2.flan

…

bytes-copy.flan

…

bytes-view-write.flan

A slice can be read-only: bytes-view answers a [const u8], and a store through one is refused at compile time

2026-09-25 11:43:41 +07:00

chain.flan

…

cleanup.flan

…

clone-slice.flan

(clone xs) copies any slice's elements into a block from the context allocator or a named one, through the lowering (bytes s) uses

2026-09-25 11:40:42 +07:00

condition-longmessage.flan

A parent's handler reads a name and message made in context/temp, whole and good until the frame ends, and the handler-case landing no longer holds a buffer of its own

2026-09-25 14:36:46 +07:00

condition-messages.flan

A handler for a parent reads the condition's own name and message or the condition printed with its values, kept in the handler-case's own frame across the unwind, and a frame re-entered through a signal or a C call names where it is

2026-09-25 13:16:35 +07:00

condition-parents.flan

A condition type may name a parent and a handler for Error catches every built-in error, a signal passes one descriptor carrying its chain, name, sentence and site, and the break loop shows the sentence the runtime wrote

2026-09-25 12:05:13 +07:00

condition-temp.flan

A parent's handler reads a name and message made in context/temp, whole and good until the frame ends, and the handler-case landing no longer holds a buffer of its own

2026-09-25 14:36:46 +07:00

conditions.flan

…

const-owned.flan

A value that owns storage is never copied out of read-only storage, and two arguments at one type variable meet at const

2026-09-25 13:30:47 +07:00

const-slice.flan

The address of read-only storage is a (Ptr const T), which nothing is written through and which a C const T * parameter takes

2026-09-25 12:43:04 +07:00

context-destroyed.flan

Only a string the checker marks as a literal reaches C uncopied, a slice of dyn is refused at its clone, and the context allocator holds an incarnation so a restored context whose arena was destroyed traps

2026-09-25 12:55:18 +07:00

cstr-return.flan

…

datas.flan

…

debug-permuted.flan

…

debug.flan

…

defer-let.flan

…

defonce-dyn.flan

…

destroy-region.flan

An Allocator value is its record and the incarnation it was made for, so one kept past its arena-destroy traps at every use even after arena-new reuses the record

2026-09-25 12:05:44 +07:00

destructure.flan

…

dev-alloc-param.flan

An Allocator value is its record and the incarnation it was made for, so one kept past its arena-destroy traps at every use even after arena-new reuses the record

2026-09-25 12:05:44 +07:00

dev-break-bounds.flan

…

dev-break.flan

A restart that takes values can be taken from the break loop, which asks for one per parameter and stores them into the frame as an invoke-restart would

2026-09-25 12:46:23 +07:00

dev-bt-handler.flan

A handler for a parent reads the condition's own name and message or the condition printed with its values, kept in the handler-case's own frame across the unwind, and a frame re-entered through a signal or a C call names where it is

2026-09-25 13:16:35 +07:00

dev-chatty.flan

…

dev-class.flan

…

dev-classes.flan

…

dev-defstore.flan

…

dev-dyn-global.flan

…

dev-globals.flan

…

dev-halfwrite.flan

…

dev-hook.flan

A method of update-instance-for-redefined-class runs on each instance as it migrates, and one that signals offers migrate-by-name

2026-09-25 11:55:40 +07:00

dev-inspect.flan

…

dev-lateagent.flan

…

dev-load-errors.flan

flan dev starts on a file with no main and links the agent into every program it builds, C-c C-k loads a file keeping what compiles, and an expression sent from a package's file resolves in that package

2026-09-25 12:44:15 +07:00

dev-load-generic.flan

flan dev starts on a file with no main and links the agent into every program it builds, C-c C-k loads a file keeping what compiles, and an expression sent from a package's file resolves in that package

2026-09-25 12:44:15 +07:00

dev-locals.flan

…

dev-loop.flan

…

dev-macro.flan

…

dev-main-broken.flan

A file with a broken form still starts a session, a package's macros expand bare from its file, a delivery a running program never polls for says so with a fix that compiles, and aborting an expression stopped in the park abandons it and keeps the session

2026-09-25 13:06:36 +07:00

dev-main-redef.flan

…

dev-noagent-running.flan

flan dev starts on a file with no main and links the agent into every program it builds, C-c C-k loads a file keeping what compiles, and an expression sent from a package's file resolves in that package

2026-09-25 12:44:15 +07:00

dev-noagent.flan

flan dev starts on a file with no main and links the agent into every program it builds, C-c C-k loads a file keeping what compiles, and an expression sent from a package's file resolves in that package

2026-09-25 12:44:15 +07:00

dev-nomain.flan

flan dev starts on a file with no main and links the agent into every program it builds, C-c C-k loads a file keeping what compiles, and an expression sent from a package's file resolves in that package

2026-09-25 12:44:15 +07:00

dev-parknote.flan

…

dev-pause.flan

…

dev-ptr.flan

…

dev-repl.flan

…

dev-rerun.flan

…

dev-robust.flan

…

dev-segv.flan

The address of read-only storage is a (Ptr const T), which nothing is written through and which a C const T * parameter takes

2026-09-25 12:43:04 +07:00

dev-stale.flan

A handler-bind clause runs with only the handlers outside its own form in force, and a stale call in main's running loop stays listed until the callee changes back or the program re-runs

2026-09-25 11:15:52 +07:00

dev-temp-destroy.flan

An expression at a stop that destroys the program's temp arena leaves context/temp empty rather than restoring the destroyed record

2026-09-25 14:26:31 +07:00

dev-temp-stop.flan

Merge master; an expression evaluated at a stop runs against a scratch temp arena that is wiped after it, and the program's own temp arena is never rolled back

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

dev-trap-dyn.flan

A condition type may name a parent and a handler for Error catches every built-in error, a signal passes one descriptor carrying its chain, name, sentence and site, and the break loop shows the sentence the runtime wrote

2026-09-25 12:05:13 +07:00

dev-trap-free-all.flan

…

dev-trap-null-alloc.flan

…

dev-trap-stale-sentence.flan

A handled condition's sentence is consumed when it is copied, and the class-slot, migration and destroyed-allocator traps put their own sentence on the wire

2026-09-25 14:48:46 +07:00

dev-watch.flan

…

dotimes-range.flan

…

dyn-basic.flan

…

dyn-boundary.flan

…

dyn-cast.flan

…

dyn-class-pkg.flan

A class slot's type names its own package's class first, an int widens into a float slot exactly when it round-trips, and a constructor's refusal names the call that was wrong

2026-09-25 13:29:30 +07:00

dyn-class-slots.flan

A class slot's type names its own package's class first, an int widens into a float slot exactly when it round-trips, and a constructor's refusal names the call that was wrong

2026-09-25 13:29:30 +07:00

dyn-class.flan

…

dyn-defer.flan

…

dyn-global.flan

…

dyn-held-operand.flan

…

dyn-host.flan

…

dyn-if-truthy.flan

…

dyn-index-site.flan

…

dyn-map.flan

…

dyn-slice.flan

(slice d ...) over a dyn text answers a text, in the three spellings the typed slice has

2026-09-25 15:19:39 +07:00

dyn-slot-trap.flan

A class slot may be a class or an Option, an int widens into a float slot when exact, a gained typed slot starts at its zero, and a migration never re-enters itself

2026-09-25 12:55:25 +07:00

dyn-struct.flan

…

dyn-trap-site.flan

…

dyn-vec.flan

…

dyn-view.flan

…

edn-provide.flan

…

edn-read.flan

…

edn.flan

A slice can be read-only: bytes-view answers a [const u8], and a store through one is refused at compile time

2026-09-25 11:43:41 +07:00

embed.flan

…

enum-compare.flan

…

enum-convert.flan

…

error.flan

…

exhausted-unhandled.flan

…

exhausted.flan

…

files.flan

…

fill-ptr-union.flan

…

fill.flan

…

fn-capture-dyn.flan

A capturing fn's environment belongs to the collector, so a closure may outlive the frame that made it

2026-09-25 11:13:57 +07:00

fn-capture-set.flan

…

fn-capture.flan

…

fn-cfn-captures.flan

…

fn-cfn-narrow.flan

…

fn-cfn.flan

…

fn-dev-escape.flan

A dev build puts every closure handed to a named call on the collector's heap, since a redefinition can make the callee keep it

2026-09-25 12:55:56 +07:00

fn-escape.flan

Only a closure that outlives its frame takes a collector environment, and the collector reads a Vec's elements only through a block it knows is live

2026-09-25 12:12:25 +07:00

fn-extern.flan

…

fn-generic-nested-return.flan

…

fn-generic-nested.flan

…

fn-generic.flan

…

fn-in-map.flan

The collector walks a Map's full slots, so a Map may hold closures and dyn values and keeps them alive

2026-09-25 15:31:50 +07:00

fn-in-struct.flan

A module that makes a closure stays mapped, and a closure held beside a collecting operand is rooted

2026-09-25 11:24:34 +07:00

fn-no-type.flan

…

fn-thunk-reload.flan

…

fn-thunk-share.flan

…

fn-values.flan

A module that makes a closure stays mapped, and a closure held beside a collecting operand is rooted

2026-09-25 11:24:34 +07:00

fn-vec-stale.flan

Only a closure that outlives its frame takes a collector environment, and the collector reads a Vec's elements only through a block it knows is live

2026-09-25 12:12:25 +07:00

format.flan

…

frame-rollback.flan

…

free-all-refused.flan

…

generic-alloc.flan

…

generic-fold.flan

…

generic-map-reject.flan

…

generic-reject.flan

…

generic-runaway.flan

…

generics.flan

…

global-init.flan

…

half-write.flan

…

handler-case.flan

…

handler-reentry.flan

A handler-bind clause runs with only the handlers outside its own form in force, and a stale call in main's running loop stays listed until the callee changes back or the program re-runs

2026-09-25 11:15:52 +07:00

higher-order.flan

…

import-builtin-alias.flan

…

init-conditions.flan

…

int-float.flan

…

int-generic.flan

…

into.flan

…

js-p1-int-semantics.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

js-p2-value-copies.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

json-provide.flan

…

json.flan

…

len-bound.flan

…

len-gone.flan

…

limits.flan

(- x) negates a typed number, a type variable and a dyn, and a float's negation of zero is -0.0

2026-09-25 11:37:56 +07:00

literal-arm.flan

A literal arm of an if, a cond or a match takes its type from the arms that are not literals

2026-09-25 11:32:54 +07:00

loops.flan

…

machine.flan

…

macro-arity-extra.flan

…

macro-arity.flan

…

macro-cycle.flan

…

macro-destructure-arity.flan

…

macro-destructure.flan

…

macro-gensym-rounds.flan

…

macro-loc-body.flan

…

macro-loc-literal.flan

…

macro-loc-nested.flan

…

macro-loc-rebuilt.flan

…

macro-params.flan

…

macro-spin.flan

…

macro-unless.flan

…

macro-writing.flan

~~@xs splices an unquote per element, a session can call a macro an expansion defined, and an enum member cannot be named else

2026-09-25 11:24:27 +07:00

macros.flan

…

map-array-key.flan

A fixed array of strings or of structs is a map key, hashed and compared element by element

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

map-exhausted.flan

…

map-iter.flan

A Map's churn test fails a table that doubles instead of sweeping, and nothing recalled is cited as read

2026-09-25 11:18:12 +07:00

map-keys.flan

map-keys and map-values walk a Map of closures, since (map-next m cur k) walks keys alone and neither needs a zeroed value, and nothing names spike/ any more

2026-09-25 16:10:20 +07:00

map-remove.flan

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

map-stale-region.flan

…

maps.flan

A Map's churn test fails a table that doubles instead of sweeping, and nothing recalled is cited as read

2026-09-25 11:18:12 +07:00

match-enum.flan

…

math2.flan

…

math3.flan

…

math.flan

…

max-value.flan

A numeric type's limits are (max-value T) and (min-value T), and an array literal of numbers with no common type is refused with the conversion named

2026-09-25 12:56:02 +07:00

negate.flan

(- x) negates a typed number, a type variable and a dyn, and a float's negation of zero is -0.0

2026-09-25 11:37:56 +07:00

nil-option.flan

…

nth-gone.flan

…

pkg-alias-clash.flan

…

pkg-cycle.flan

…

pkg-data.flan

…

pkg-diamond.flan

…

pkg-generic-reject.flan

…

pkg-generic.flan

…

pkg-hidden-main.flan

…

pkg-macro-bare.flan

…

pkg-macro-idle.flan

…

pkg-macro-ring.flan

…

pkg-macro-spin.flan

…

pkg-macro.flan

…

pkg-private-call.flan

…

pkg-private-nested.flan

…

pkg-private-own-macro.flan

…

pkg-private-passed.flan

…

pkg-private-value.flan

…

pkg-private.flan

…

pkg-return.flan

A slice can be read-only: bytes-view answers a [const u8], and a store through one is refused at compile time

2026-09-25 11:43:41 +07:00

pkg-shadow.flan

…

pkg-shared.flan

…

pkg-two-aliases.flan

…

pkg-two-mains.flan

…

pkg-unused.flan

…

prelude-macros.flan

…

printers.flan

…

println-variadic.flan

…

println.flan

…

rand.flan

…

raylib-audio.flan

…

raylib-codepoints.flan

…

raylib-ffi.flan

…

raylib-font.flan

…

raylib-image-processing.flan

…

raylib-image.flan

…

raylib-imported.flan

…

raylib-strings.flan

…

reach-walk.flan

…

recur.flan

…

registry.flan

…

reload-agg-v2.flan

…

reload-agg.flan

…

reload-generic.flan

…

reload-v2.flan

…

reload-v3.flan

…

reload-v4.flan

…

reload-v5.flan

…

reload-v6.flan

…

reload.flan

…

res-leaks.flan

A library resource is known by its identifying field, a Get or a consuming Load is counted as raylib means it, bare pointers are not resources, the report waits for FLAN_DEV_LEAKS, and a release build emits the code it did before the tracker

2026-09-25 11:27:41 +07:00

reserve-overflow.flan

…

restarts.flan

…

return-defer.flan

Code after a return emits nothing, a wide element names the u64 array, and $ is refused in fn, handler, :keys and & binders

2026-09-25 10:53:52 +07:00

rl-with-empty-arg.flan

…

rl-with-empty.flan

…

rl-with-reject.flan

…

rl-with.flan

…

sand-headless.flan

…

self-read.flan

…

shadow-builtin.flan

…

shadow-pkg.flan

…

shadow-prelude.flan

A program's function named as a prelude function takes the name over for its own file, with a warning, and the prelude's own calls keep the prelude's

2026-09-25 11:51:58 +07:00

shim-literal.flan

A string literal handed to a declare-c reaches C uncopied, and both backends write a NUL after every literal

2026-09-25 11:33:03 +07:00

shim-nul-end.flan

Only a string the checker marks as a literal reaches C uncopied, a slice of dyn is refused at its clone, and the context allocator holds an incarnation so a restored context whose arena was destroyed traps

2026-09-25 12:55:18 +07:00

shim-nul.flan

…

signedness.flan

…

slice-from-ptr.flan

…

slices.flan

…

slurp-unhandled.flan

…

slurp.flan

…

some-nil.flan

…

stale-generic.flan

…

stale-region.flan

…

stale-slice-poison.flan

A dev build fills a Vec's old buffer with 0xDEADBEEF when a push moves it, so a stale slice reads a value nobody wrote

2026-09-25 11:36:59 +07:00

string-eq.flan

…

string-of-bytes.flan

…

strings.flan

A number i64->bytes or f64->bytes renders is copied into the context allocator and outlives the frame that made it

2026-09-25 11:47:01 +07:00

struct-ergonomics.flan

…

temp-agent.flan

i64->bytes and f64->bytes allocate from a growing temp allocator that (free-temp) releases once a frame and a dev build's agent poll wipes, so a number drawn every frame no longer leaks

2026-09-25 13:07:21 +07:00

temp-frame.flan

i64->bytes and f64->bytes allocate from a growing temp allocator that (free-temp) releases once a frame and a dev build's agent poll wipes, so a number drawn every frame no longer leaks

2026-09-25 13:07:21 +07:00

temp-grow.flan

The temp allocator grows a block that outgrows its chunk, answers a formatted number with one bump allocation, poisons what a dev wipe releases, and is wiped after each expression run while parked

2026-09-25 13:47:00 +07:00

text.flan

…

time.flan

…

twins.flan

A source heading escapes control characters, names its file by the path it was given, and quotes a form cut at a character boundary

2026-09-25 11:08:11 +07:00

two-numbers.flan

i64->bytes and f64->bytes allocate from a growing temp allocator that (free-temp) releases once a frame and a dev build's agent poll wipes, so a number drawn every frame no longer leaks

2026-09-25 13:07:21 +07:00

u64-decimal.flan

…

u64-float.flan

…

unions.flan

…

unit-main.flan

…

user-allocator.flan

…

utf8.flan

A slice can be read-only: bytes-view answers a [const u8], and a store through one is refused at compile time

2026-09-25 11:43:41 +07:00

values.flan

…

vec-global.flan

…

vec-in-struct.flan

…

vec-new-shadow.flan

A slice can be read-only: bytes-view answers a [const u8], and a store through one is refused at compile time

2026-09-25 11:43:41 +07:00

vec-new-type.flan

A slice can be read-only: bytes-view answers a [const u8], and a store through one is refused at compile time

2026-09-25 11:43:41 +07:00

vec-to-c.flan

…

vec-untyped.flan

…

vec.flan

…

virtual-controls-headless.flan

…

watch-release.flan

…

web-files.flan

…

widening.flan

…

x86-p1-exit.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

x86-p2-loop-print.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

x86-p3-fizz.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

x86-p4-convention.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

x86-p5-core.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

x86-p6-transfer.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

x86-p7-slice-from-ptr.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

x86-p8-cell.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

x86-p9-dead-defers.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

x86-p10-defer-transfer.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

x86-p11-reversed-slice.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

x86-p11-shift-edges.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

x86-p12-handler-value.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00

x86-p13-dyn-collect.flan

spike/ is gone: the x86 and JS surveys and the cells check live in test/, their probes in test/programs as x86-p* and js-p*, and dump.sh in tools/

2026-09-25 15:14:27 +07:00