JosephFerano/flan
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
flan/test/programs
History
Joseph Ferano aedd50c646 Merge branch 'master' into worktree-agent-ac750a5e83cab251b 
# Conflicts:
#	lib/check.ml
2026-09-25 12:17:58 +07:00
..
assets
defjson, which shares the design and not a line of the code
2026-09-19 06:41:57 +07:00
loose
A defn- is private to its module, the package's own macros may write calls to it, and the refusal names the fix
2026-09-25 08:55:37 +07:00
pkgs
Raylib's strings, models, file lists and matrix stack are bound, and a dev build can name what is still loaded at exit
2026-09-25 11:28:02 +07:00
agent-auto.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
agent-hooks.flan
The break loop's snapshot caps and its choice handoff are driven from inside the stopped thread by a poll hook
2026-09-25 10:15:35 +07:00
agent-longname.flan
…
agent-nostart.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
agent-queue.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
agent-start-arity.flan
A bind that fails gives the flag back, and three sentences get pinned
2026-09-20 20:10:39 +07:00
agent.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
algorithms.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
allocators.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
annotate.flan
Every Flan form heads the code it produced in the emitted IR, the x86 listing and both disassembly buffers, and the objects are the same with or without it
2026-09-25 10:34:07 +07:00
arena-region.flan
Every tracked Flan file is what the indenter would write, and a with- head indents its body like a definer
2026-09-25 10:19:22 +07:00
arena-value.flan
Every tracked Flan file is what the indenter would write, and a with- head indents its body like a definer
2026-09-25 10:19:22 +07:00
arith-condition.flan
A cast of NaN or an infinity to an integer says so by name, on both backends
2026-09-25 06:58:06 +07:00
arith.flan
A u64 converts to and from a float on x86 as it does under LLVM, across the top half of its range
2026-09-25 10:21:23 +07:00
array-ctor.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
array-fill.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
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
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
bounds.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
break.flan
…
builtin-qualified.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
bytes2.flan
bytes copies, bytes-view aliases, and a dev-session segfault parks
2026-09-20 23:12:42 +07:00
bytes-copy.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
bytes-view-write.flan
bytes copies, bytes-view aliases, and a dev-session segfault parks
2026-09-20 23:12:42 +07:00
chain.flan
Comparisons take a run of operands: the orderings chain, != is all-pairs
2026-09-21 11:03:39 +07:00
cleanup.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
conditions.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
cstr-return.flan
A string returned from C is copied into the context allocator, Model, Mesh and FilePathList cross the raylib boundary, rlgl's matrix stack is a package, and a dev build reports the library resources a program never released
2026-09-25 10:44:49 +07:00
datas.flan
The tagged sum is defdata, and the old spelling is an error by name
2026-09-17 19:03:27 +07:00
debug-permuted.flan
…
debug.flan
…
defer-let.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
defonce-dyn.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
destroy-region.flan
A destroyed arena's allocator is reused by the next arena-new with its epoch kept, a stale dyn view names its site, and the spec fixes the Vec at five words in every build
2026-09-25 10:48:30 +07:00
destructure.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
dev-break-bounds.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-break.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-chatty.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-class.flan
A method added to a running program, proved end to end
2026-09-20 15:36:13 +07:00
dev-classes.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-defstore.flan
Evaluating a def assigns, because that is what defparameter means
2026-09-21 11:03:30 +07:00
dev-dyn-global.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-globals.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-halfwrite.flan
An assignment is whole or it never happened, on x86 too
2026-09-21 12:37:08 +07:00
dev-inspect.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-lateagent.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-locals.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-loop.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-macro.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-main-redef.flan
A dev build's main is reached through its cell like every other call
2026-09-20 17:57:26 +07:00
dev-noagent-running.flan
flan dev refuses at start a TMPDIR that is missing or too deep for a socket path, and a program with no main, and tells a program with no agent how to add one
2026-09-25 10:43:33 +07:00
dev-noagent.flan
Memcheck is told an arena reset happened, and the agentless session is pinned
2026-09-13 17:55:00 +07:00
dev-nomain.flan
flan dev refuses at start a TMPDIR that is missing or too deep for a socket path, and a program with no main, and tells a program with no agent how to add one
2026-09-25 10:43:33 +07:00
dev-parknote.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-pause.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-ptr.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-repl.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-rerun.flan
The defining form is fixed at build time, all three of them
2026-09-21 07:30:57 +07:00
dev-robust.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-segv.flan
bytes copies, bytes-view aliases, and a dev-session segfault parks
2026-09-20 23:12:42 +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-trap-free-all.flan
A trap with no channel stops the program, not the session
2026-09-18 13:47:42 +07:00
dev-trap-null-alloc.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-watch.flan
Only a place has an address in the inspector, and a watched dyn value and string are pinned armed
2026-09-25 07:32:25 +07:00
dotimes-range.flan
dotimes counts from where you say, and can count down
2026-09-21 08:09:53 +07:00
dyn-basic.flan
One unannotated add, answering 5 to the integers and 3.75 to the floats
2026-09-19 05:55:48 +07:00
dyn-boundary.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dyn-cast.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
dyn-class.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
dyn-defer.flan
Four dyn values in a defer the collector had never been told about
2026-09-19 06:40:53 +07:00
dyn-global.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dyn-held-operand.flan
The array an index or a slice is taken of is rooted while its index runs, when it is a temporary
2026-09-25 09:30:41 +07:00
dyn-host.flan
A value carries its own type, and the heap under it collects
2026-09-19 05:52:47 +07:00
dyn-if-truthy.flan
and hands back its deciding operand too, and both locs get sharper
2026-09-20 10:36:05 +07:00
dyn-index-site.flan
A destroyed arena's allocator is reused by the next arena-new with its epoch kept, a stale dyn view names its site, and the spec fixes the Vec at five words in every build
2026-09-25 10:48:30 +07:00
dyn-map.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
dyn-struct.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
dyn-trap-site.flan
The review's fixes: a suggestion that does not compile, and a confident wrong guess
2026-09-20 18:46:48 +07:00
dyn-vec.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
dyn-view.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
edn-provide.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
edn-read.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
edn.flan
Every tracked Flan file is what the indenter would write, and a with- head indents its body like a definer
2026-09-25 10:19:22 +07:00
embed.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
enum-compare.flan
…
enum-convert.flan
…
error.flan
…
exhausted-unhandled.flan
…
exhausted.flan
An arena's budget holds when a block grows in place, and a shrink is never over budget
2026-09-25 07:36:52 +07:00
files.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
fill-ptr-union.flan
An array literal's first element types the rest, constant arithmetic folds at a bounded type variable, and a pointer or a plain union takes a byte fill
2026-09-25 10:14:24 +07:00
fill.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
fn-capture-dyn.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
fn-capture-set.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
fn-capture.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
fn-cfn-captures.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
fn-cfn-narrow.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
fn-cfn.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
fn-escape-at.flan
The thunk memo was keyed on a name that two signatures can share
2026-09-21 13:41:44 +07:00
fn-escape-copy.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
fn-escape-handled.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
fn-escape-match.flan
A thunk named for the order it was minted in is a different signature after a reorder
2026-09-21 15:44:28 +07:00
fn-escape-param.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
fn-escape-return.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
fn-escape-store.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
fn-escape-vec.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
fn-extern.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
fn-generic-nested-return.flan
A thunk named for the order it was minted in is a different signature after a reorder
2026-09-21 15:44:28 +07:00
fn-generic-nested.flan
A thunk named for the order it was minted in is a different signature after a reorder
2026-09-21 15:44:28 +07:00
fn-generic.flan
The thunk memo was keyed on a name that two signatures can share
2026-09-21 13:41:44 +07:00
fn-in-struct.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
fn-no-type.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
fn-thunk-reload.flan
A thunk named for the order it was minted in is a different signature after a reorder
2026-09-21 15:44:28 +07:00
fn-thunk-share.flan
The thunk memo was keyed on a name that two signatures can share
2026-09-21 13:41:44 +07:00
fn-values.flan
An fn sees the locals it was written among, and Fn says so in its type
2026-09-21 13:41:44 +07:00
format.flan
Review follow-ups: a leak is the program's, a wrong answer is not
2026-09-21 09:59:33 +07:00
frame-rollback.flan
Every tracked Flan file is what the indenter would write, and a with- head indents its body like a definer
2026-09-25 10:19:22 +07:00
free-all-refused.flan
…
generic-alloc.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
generic-fold.flan
An array literal's first element types the rest, constant arithmetic folds at a bounded type variable, and a pointer or a plain union takes a byte fill
2026-09-25 10:14:24 +07:00
generic-map-reject.flan
The map operations are deferred, and the clause is what pays for it
2026-09-13 15:23:37 +07:00
generic-reject.flan
The prelude's per-type families collapse: 22 functions become 10, 27 become 16
2026-09-13 14:49:11 +07:00
generic-runaway.flan
The move-only concept follows the flow analysis out: everything copies, and the frees are yours
2026-09-18 12:16:05 +07:00
generics.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
global-init.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
half-write.flan
An assignment is whole or it never happened, on x86 too
2026-09-21 12:37:08 +07:00
handler-case.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
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
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
import-builtin-alias.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
init-conditions.flan
One slice over everything with elements, and the warning at the push
2026-09-21 09:51:35 +07:00
int-float.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
int-generic.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
into.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
json-provide.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
json.flan
Every tracked Flan file is what the indenter would write, and a with- head indents its body like a definer
2026-09-25 10:19:22 +07:00
len-bound.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
len-gone.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
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
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
macro-arity-extra.flan
A macro's parameter list, and one grammar for it
2026-09-20 18:18:24 +07:00
macro-arity.flan
A form a macro splices through is reported on the line it was written on
2026-09-21 19:16:45 +07:00
macro-cycle.flan
A macro's parameter list, and one grammar for it
2026-09-20 18:18:24 +07:00
macro-destructure-arity.flan
A macro's parameter list, and one grammar for it
2026-09-20 18:18:24 +07:00
macro-destructure.flan
A macro's parameter list, and one grammar for it
2026-09-20 18:18:24 +07:00
macro-gensym-rounds.flan
A gensym is never the same name twice in one compiler process, however many macro modules it loads
2026-09-25 07:04:10 +07:00
macro-loc-body.flan
A form a macro splices through is reported on the line it was written on
2026-09-21 19:16:45 +07:00
macro-loc-literal.flan
A form a macro splices through is reported on the line it was written on
2026-09-21 19:16:45 +07:00
macro-loc-nested.flan
A form a macro splices through is reported on the line it was written on
2026-09-21 19:16:45 +07:00
macro-loc-rebuilt.flan
A form a macro splices through is reported on the line it was written on
2026-09-21 19:16:45 +07:00
macro-params.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
macro-spin.flan
A macro's parameter list, and one grammar for it
2026-09-20 18:18:24 +07:00
macro-unless.flan
The return type stops being a guess: the slot is mandatory, unit is ()
2026-09-12 23:18:28 +07:00
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
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
map-exhausted.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
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-remove.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-stale-region.flan
A destroyed arena's allocator is reused by the next arena-new with its epoch kept, a stale dyn view names its site, and the spec fixes the Vec at five words in every build
2026-09-25 10:48:30 +07:00
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
A recur from an arm of a match over an enum is in tail position, and a session's blind spot for macros an expansion defines is recorded
2026-09-25 10:39:42 +07:00
math2.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
math3.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
math.flan
…
max-of.flan
(max-of T) and (min-of T) are a numeric type's limits, at a concrete type or a type variable the bound admits, and given a slice they are still the prelude's reductions
2026-09-25 12:00:42 +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
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
nth-gone.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
pkg-alias-clash.flan
…
pkg-cycle.flan
…
pkg-data.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
pkg-diamond.flan
…
pkg-generic-reject.flan
A generic crosses a package boundary, and a trial leaves one copy
2026-09-20 21:00:22 +07:00
pkg-generic.flan
A generic crosses a package boundary, and a trial leaves one copy
2026-09-20 21:00:22 +07:00
pkg-hidden-main.flan
…
pkg-macro-bare.flan
Macros come from a package now, and the refusal's reason was wrong
2026-09-13 15:40:08 +07:00
pkg-macro-idle.flan
C-x C-e expands, and a declaration is not an expression
2026-09-13 17:54:36 +07:00
pkg-macro-ring.flan
Macros come from a package now, and the refusal's reason was wrong
2026-09-13 15:40:08 +07:00
pkg-macro-spin.flan
Macros come from a package now, and the refusal's reason was wrong
2026-09-13 15:40:08 +07:00
pkg-macro.flan
A macro's parameter list, and one grammar for it
2026-09-20 18:18:24 +07:00
pkg-private-call.flan
A function declared with defn- is callable only from the files of its own package
2026-09-25 07:42:40 +07:00
pkg-private-nested.flan
A function declared with defn- is callable only from the files of its own package
2026-09-25 07:42:40 +07:00
pkg-private-own-macro.flan
A defn- is private to its module, the package's own macros may write calls to it, and the refusal names the fix
2026-09-25 08:55:37 +07:00
pkg-private-passed.flan
A defn- is private to its module, the package's own macros may write calls to it, and the refusal names the fix
2026-09-25 08:55:37 +07:00
pkg-private-value.flan
A function declared with defn- is callable only from the files of its own package
2026-09-25 07:42:40 +07:00
pkg-private.flan
A defn- is private to its module, the package's own macros may write calls to it, and the refusal names the fix
2026-09-25 08:55:37 +07:00
pkg-return.flan
bytes copies, bytes-view aliases, and a dev-session segfault parks
2026-09-20 23:12:42 +07:00
pkg-shadow.flan
…
pkg-shared.flan
…
pkg-two-aliases.flan
…
pkg-two-mains.flan
…
pkg-unused.flan
…
prelude-macros.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
printers.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
println-variadic.flan
Review follow-ups: a new def's image, the keyword that cannot change, and the sweep
2026-09-21 07:19:33 +07:00
println.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
rand.flan
Five randomness functions, and a draw wide enough to answer them
2026-09-21 10:57:18 +07:00
raylib-audio.flan
The enum prefix goes uniform across all eleven
2026-09-21 07:59:48 +07:00
raylib-codepoints.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
raylib-ffi.flan
The enum prefix goes uniform across all eleven
2026-09-21 07:59:48 +07:00
raylib-font.flan
The enum prefix goes uniform across all eleven
2026-09-21 07:59:48 +07:00
raylib-image-processing.flan
The enum prefix goes uniform across all eleven
2026-09-21 07:59:48 +07:00
raylib-image.flan
The enum prefix goes uniform across all eleven
2026-09-21 07:59:48 +07:00
raylib-imported.flan
…
raylib-strings.flan
A string returned from C is copied into the context allocator, Model, Mesh and FilePathList cross the raylib boundary, rlgl's matrix stack is a package, and a dev build reports the library resources a program never released
2026-09-25 10:44:49 +07:00
reach-walk.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
recur.flan
A loop's initialisers are checked in order and each sees the names bound before it, as a let's do
2026-09-25 07:06:17 +07:00
registry.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
reload-agg-v2.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
reload-agg.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
reload-generic.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
reload-v2.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
reload-v3.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
reload-v4.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
reload-v5.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
reload-v6.flan
The defining form is fixed at build time, all three of them
2026-09-21 07:30:57 +07:00
reload.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
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
A byte count that cannot be represented is StorageExhausted, not a smaller block
2026-09-17 21:49:40 +07:00
restarts.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
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
Pin the () body guards, the match-arm rule, and correct two comments
2026-09-20 18:18:20 +07:00
rl-with-empty.flan
Pin the () body guards, the match-arm rule, and correct two comments
2026-09-20 18:18:20 +07:00
rl-with-reject.flan
A begin/end pair that cannot come apart, and what it still cannot promise
2026-09-13 18:00:35 +07:00
rl-with.flan
A begin/end pair that cannot come apart, and what it still cannot promise
2026-09-13 18:00:35 +07:00
sand-headless.flan
Five randomness functions, and a draw wide enough to answer them
2026-09-21 10:57:18 +07:00
self-read.flan
An aggregate that reads its own destination sees the old value, on x86 too
2026-09-25 07:05:18 +07:00
shadow-builtin.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
shadow-pkg.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
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-nul.flan
One slice over everything with elements, and the warning at the push
2026-09-21 09:51:35 +07:00
signedness.flan
…
slice-from-ptr.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
slices.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
slurp-unhandled.flan
…
slurp.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
some-nil.flan
nil <-> None at (Option T) boundaries, and (Some nil) unconstructible — M2 queue item 4
2026-09-20 07:20:27 +07:00
stale-generic.flan
A caller excused for going stale takes back the generic copies its failed check cached, and a package's stale callers are named at their own file and line
2026-09-25 10:51:44 +07:00
stale-region.flan
A destroyed arena's allocator is reused by the next arena-new with its epoch kept, a stale dyn view names its site, and the spec fixes the Vec at five words in every build
2026-09-25 10:48:30 +07:00
string-eq.flan
One slice over everything with elements, and the warning at the push
2026-09-21 09:51:35 +07:00
string-of-bytes.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
strings.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
struct-ergonomics.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
text.flan
Five randomness functions, and a draw wide enough to answer them
2026-09-21 10:57:18 +07:00
time.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
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
A rendered number goes in the caller's frame, not in one buffer for the process
2026-09-17 22:55:30 +07:00
u64-decimal.flan
A u64 constant above 2^63 can be written in decimal, and a cast's integer literal too wide for i32 is read at the cast's type
2026-09-25 07:16:42 +07:00
u64-float.flan
A u64 converts to and from a float on x86 as it does under LLVM, across the top half of its range
2026-09-25 10:21:23 +07:00
unions.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
unit-main.flan
The return type stops being a guess: the slot is mandatory, unit is ()
2026-09-12 23:18:28 +07:00
user-allocator.flan
…
utf8.flan
Every tracked Flan file is what the indenter would write, and a with- head indents its body like a definer
2026-09-25 10:19:22 +07:00
values.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
vec-global.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
vec-in-struct.flan
The move-only concept follows the flow analysis out: everything copies, and the frees are yours
2026-09-18 12:16:05 +07:00
vec-new-shadow.flan
An integer written at or above 2^63 is a u64 and nothing else, and vec-new reads a type from its argument only when the builtin is what was called
2026-09-25 07:43:24 +07:00
vec-new-type.flan
vec-new and map-new take a type expression where they take a type, so (vec-new [u8]) makes a Vec of byte slices
2026-09-25 07:10:48 +07:00
vec-to-c.flan
…
vec-untyped.flan
…
vec.flan
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
virtual-controls-headless.flan
bytes copies, bytes-view aliases, and a dev-session segfault parks
2026-09-20 23:12:42 +07:00
watch-release.flan
A release build's watch is only its value, next-error lets go of a stack that has resumed, and the frame a stop is in is always shown
2026-09-25 08:36:53 +07:00
web-files.flan
bytes copies, bytes-view aliases, and a dev-session segfault parks
2026-09-20 23:12:42 +07:00
widening.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00