JosephFerano/flan
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
flan/test/programs
History
Joseph Ferano 4fa11f6360 Merge master
2026-09-25 21:11:31 +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
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
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
Sweep every field label from the colon spelling to the dot
2026-09-12 14:47:54 +07:00
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
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
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-free-all-poison.flan
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
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 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
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
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
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
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
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
(free s) hands a slice (bytes s) or (clone xs) made back to the context allocator or a named one, a dev build traps on the wrong allocator, and a sliced array literal lives for its whole function on x86
2026-09-25 16:48:09 +07:00
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
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
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
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
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
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
Sweep every field label from the colon spelling to the dot
2026-09-12 14:47:54 +07:00
debug.flan
Sweep every field label from the colon spelling to the dot
2026-09-12 14:47:54 +07:00
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
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
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
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
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
dev-break-nullcall.flan
A call through a null CFn parks a dev program in the break loop with NullCall named and continue takeable, on LLVM and x86
2026-09-25 16:37:05 +07:00
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
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-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
A local of a package's type is named by its qualified type in the break buffer's listing and the inspector, pinned by a shape/Box local in dev-inspect.flan
2026-09-25 15:22:48 +07:00
dev-lateagent.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
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
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-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
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 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-own-break.flan
A stop records whether it was inside an evaluated thunk, and an evaluation waits through a break the program's own code entered
2026-09-25 15:25:09 +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
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
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-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
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-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
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
A bool arm and a dyn arm of an if meet at dyn with the bool boxed, so (or false (box "s")) answers "s"
2026-09-25 15:31:12 +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-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
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
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
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
enum-compare.flan
Sweep every field label from the colon spelling to the dot
2026-09-12 14:47:54 +07:00
enum-convert.flan
An enum and an integer convert, both ways, when you say so
2026-09-12 09:11:34 +07:00
enum-generic.flan
enum? admits exactly the enums, entails ordered? and equal?, and licenses a generic conversion from an enum to a number beside numeric?
2026-09-25 15:26:27 +07:00
error.flan
Sweep every field label from the colon spelling to the dot
2026-09-12 14:47:54 +07:00
exhausted-unhandled.flan
(Vec T) over a type-erased runtime, with StorageExhausted going in beside it
2026-09-12 11:07:57 +07:00
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
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
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-table.flan
A CFn may sit in a struct field, a fixed array or a global, and a call through a null one signals NullCall on both backends
2026-09-25 15:26:27 +07:00
fn-cfn.flan
Five records become one, and every citation lands somewhere
2026-09-21 21:05:48 +07:00
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
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-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 CFn may sit in a struct field, a fixed array or a global, and a call through a null one signals NullCall on both backends
2026-09-25 15:26:27 +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
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
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
Say what the two one-line refusal programs are refusing, and why
2026-09-12 11:15:58 +07:00
free-slice.flan
A dev build refuses (free s) on a slice over a Vec's or a Map's storage, and says a formatted number's text is released by free-temp
2026-09-25 17:04:52 +07:00
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
generic-struct.flan
A generic struct's copy prints as (Pair i32 {...}), crosses to C behind a pointer, names each use that made it when refused, settles literal fields at the wider type, and is laid out by stores and restarts that first name it
2026-09-25 16:59:11 +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
grow-param.flan
A Vec or Map field grown through a struct parameter taken by value is warned at the parameter, naming the field path and the (Ptr ...) that reaches the caller's
2026-09-25 16:40:39 +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-owning.flan
into refuses to copy elements that own storage as they stand, and names (map clone) where clone takes the element
2026-09-25 15:22:44 +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
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
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
Pin the latch to the continue path, and the clause barrier to its reason
2026-09-12 22:00:13 +07:00
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-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
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-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
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
match-literal.flan
A match arm can be a number, char or string literal compared with =, over a number, a string or a dyn, with a _ arm required
2026-09-25 20:51:24 +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
Every defn in the tree states its return type, and Unit is written ()
2026-09-12 23:06:40 +07:00
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
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
A ring of imports is refused by name, not swallowed
2026-09-12 16:46:30 +07:00
pkg-cycle.flan
A ring of imports is refused by name, not swallowed
2026-09-12 16:46:30 +07:00
pkg-data.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
pkg-diamond.flan
A ring of imports is refused by name, not swallowed
2026-09-12 16:46:30 +07:00
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
sand is one program again
2026-09-11 20:11:01 +07:00
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
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
A local shadowing an imported name, in an expression and in a place
2026-09-12 10:40:47 +07:00
pkg-shared.flan
Retire the per-type printers, since print says all of it
2026-09-12 05:32:25 +07:00
pkg-two-aliases.flan
sand is one program again
2026-09-11 20:11:01 +07:00
pkg-two-mains.flan
sand is one program again
2026-09-11 20:11:01 +07:00
pkg-unused.flan
Retire the per-type printers, since print says all of it
2026-09-12 05:32:25 +07:00
prelude-macros.flan
def re-runs its initialiser, and defvar is renamed defonce
2026-09-21 07:12:04 +07:00
prelude-names.flan
A program's global or type cannot change what the prelude means: a type variable wins over a global in a type position, prelude signatures pair against prelude types, and a global or type spelled like a built-in type is refused
2026-09-25 16:22:27 +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
A table for the importer, against a header that does not move
2026-09-12 16:09:48 +07:00
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-global.flan
A program's global named as a prelude function or global shadows it for the file, with the shadowing warning a defn gets
2026-09-25 17:12:05 +07:00
shadow-prelude.flan
A program's or a session's defn named as a macro shadows the macro for its calls, with the shadowing warning a prelude function gets
2026-09-25 16:32:49 +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
One slice over everything with elements, and the warning at the push
2026-09-21 09:51:35 +07:00
signedness.flan
Retire the per-type printers, since print says all of it
2026-09-12 05:32:25 +07:00
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 reads a whole file, barf writes one, and failure is a condition
2026-09-12 11:38:24 +07:00
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
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
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
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
The count is length, so len is a name a program can have
2026-09-21 11:58:56 +07:00
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
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
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
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
update-place.flan
A place in update, ++ and -- evaluates each of its subexpressions once, and (update place f args ...) stores (f old args ...) back into it
2026-09-25 15:26:27 +07:00
user-allocator.flan
Say what the two one-line refusal programs are refusing, and why
2026-09-12 11:15:58 +07:00
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
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
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
Ownership is not transitive yet, so refuse the three shapes that assume it is
2026-09-12 11:12:49 +07:00
vec-untyped.flan
(Vec T) over a type-erased runtime, with StorageExhausted going in beside it
2026-09-12 11:07:57 +07:00
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
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