359 Commits

Author SHA1 Message Date
763c835496 Per-version class layouts wait for a case that needs them 2026-09-25 10:07:19 +07:00
cf737076e9 A moved Vec's old buffer is to be poisoned in a dev build, and the unread generation word goes 2026-09-25 10:06:41 +07:00
aa1bbe550c A use-after-release check is to be studied before anything is built 2026-09-25 10:04:50 +07:00
b153f325b8 A declared name that starts with $ is refused where it is declared 2026-09-25 10:04:23 +07:00
0fb30ad945 The mutation pass is to run again with the next heavy sweep 2026-09-25 10:04:13 +07:00
299b3bcb61 The OFL font stays out of the repository 2026-09-25 10:03:46 +07:00
8006f8728f The daemon buffer is to colour the compiler's lines and set the program's output apart 2026-09-25 10:03:19 +07:00
4ae7beb6ce An evaluation sent from a package's file is to resolve names in that package 2026-09-25 10:01:31 +07:00
bf827dc55b A test binary leaves nothing in the temporary directory it was given 2026-09-25 09:56:39 +07:00
16d04cbb49 A parameter vector that reads a name as a type is to be warned at, the type winning 2026-09-25 09:56:33 +07:00
f7deba7a3e A test binary's directory is one it made fresh, and a same-pid name already there when it started is not counted as its leftover 2026-09-25 09:56:25 +07:00
9650f331d6 A pointer and an untagged union are to take a byte fill 2026-09-25 09:55:07 +07:00
81569b60d8 A compound constant is to fold before a bounded variable checks it 2026-09-25 09:54:35 +07:00
f6cdb4e31b A quasiquote is to nest, counting depth as SBCL's backquote does 2026-09-25 09:54:05 +07:00
ddff84ffed Any slice is to clone into the context allocator 2026-09-25 09:53:36 +07:00
497881a333 An into temporary is reclaimed by its region, so its leak is not a gap 2026-09-25 09:53:16 +07:00
51ce9a2ba6 Any expression is to take its type from (the T expr) 2026-09-25 09:52:29 +07:00
1cec47b5d4 Result and try are cancelled: conditions are the error mechanism 2026-09-25 09:45:48 +07:00
7a1d9c1263 The Map is to take the Swiss-table layout 2026-09-25 09:44:59 +07:00
af4da764b2 A dev build is to name the raylib resources still loaded at exit 2026-09-25 09:43:52 +07:00
836185a174 A diagnostic's clauses have a fixed order, and a stable kind waits for the docs it would link to 2026-09-25 09:41:24 +07:00
6a1182df5d A test binary runs under a temporary directory of its own and leaves nothing in the one it was given 2026-09-25 09:40:00 +07:00
ff89f25e48 C-c C-c is to report every error in a form, through an error type that absorbs what it causes 2026-09-25 09:37:16 +07:00
92d63e3b36 Every decision taken in the TODO review is recorded, and NEXT is a keyword the file declares 2026-09-25 09:34:47 +07:00
795ba945d9 A dyn value held beside a sibling that can allocate is rooted until it is used, on every backend 2026-09-25 09:32:34 +07:00
0d629d791f 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
11dc230974 A defn- is private to its module, and the module's own macros may call it 2026-09-25 08:57:20 +07:00
793b0eea9e 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
96314accd0 One library pipeline builds every program, one alias names the corpus, and a closed session leaves no directory behind 2026-09-25 08:53:45 +07:00
00f116ea29 Six small refusals and conversions say what the program wrote 2026-09-25 08:41:31 +07:00
6f0f4957f4 The break buffer, the inspector and the watch table show what a stopped program holds 2026-09-25 08:37:15 +07:00
ff744120fc 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
0653f341d0 A dyn value held in an operand list is rooted while a sibling operand may allocate 2026-09-25 08:36:34 +07:00
63f1a1357f Merge branch 'master' into worktree-agent-ad23aafb29b84cc8b 2026-09-25 08:33:28 +07:00
cb0be62087 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
6fd456c0a2 A function declared with defn- is callable only from the files of its own package 2026-09-25 07:42:40 +07:00
f986c0728a A test binary names the signal that killed a daemon, and the break buffer keeps its keys under Evil 2026-09-25 07:40:58 +07:00
414e1e5ae6 The temp directory is left to the build-plumbing lane, and under Evil the break buffer takes only the keys it binds
The dead-session sweep and the remove-on-close half are dropped: the sweep contradicts the recorded non-goals, and the other lane owns removal on a clean close. The Evil keys are defined per state from the map's own bindings, so special-mode-map's h, SPC, < and - no longer shadow Evil's.
2026-09-25 07:40:33 +07:00
88584f76bc The records say what the tree does, and an arena grown in place answers to its budget 2026-09-25 07:39:11 +07:00
918edfb0b5 plan.org describes containers, pools and classes as they are after the repeal 2026-09-25 07:37:37 +07:00
52681ec58c Two gaps found on the way are on record: the half-write abort flake and the one-shot commands' empty work directory 2026-09-25 07:33:32 +07:00
cda939c8be 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
7d75cc0a5d The CLI and the tests load, check and link a program through one module in the library 2026-09-25 07:30:55 +07:00
54ec52fde6 A dev session that ends cleanly takes its directories with it, and Build.executable says where the IR it kept is 2026-09-25 07:28:34 +07:00
377ada8d27 The inspector says where a slot's value is stored 2026-09-25 07:27:25 +07:00
5477c75909 Three of the four under-load and dogfooding entries are settled, and the fourth records what was tried 2026-09-25 07:24:20 +07:00
37ccca56a3 Every sweep reads the corpus through one alias, and a build that raises is a FAIL line in each of them
The sanitizer sweep also lists the five macro programs that run.
2026-09-25 07:23:12 +07:00
85b9f35a66 (watch "name" v) renders any value into the watch table the way print renders it 2026-09-25 07:22:59 +07:00
7b843f6753 TODO.org records what this lane settled and the one decision it left 2026-09-25 07:17:07 +07:00
aa5052e401 A dyn value an expression answers is the reply's value, not the program's output 2026-09-25 07:14:13 +07:00