Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 4f58093325 A test that fails one run in four was failing that way before today Joseph Ferano 2026-09-13 08:17:03 +07:00
• 6891592d79 An error is a span with notes, and a run reports more than one Joseph Ferano 2026-09-13 08:14:20 +07:00
• 65fd49f0c6 Where the generated half is written down, in all four places it belongs Joseph Ferano 2026-09-13 08:13:32 +07:00
• 887aae45ea The next-error claim was inferred, and it is weaker than it read Joseph Ferano 2026-09-13 08:12:49 +07:00
• e80e79b3fd The break loop meets a bad index, and the test says so rather than the reasoning Joseph Ferano 2026-09-13 08:11:57 +07:00
• ecfe180d2e The config is tested by what it is for, not by its parser alone Joseph Ferano 2026-09-13 08:09:59 +07:00
• 05e3c643e4 A handle answers gone, and a pool can enumerate what is live Joseph Ferano 2026-09-13 08:08:28 +07:00
• 87b5dad486 Say what the spec now disagrees with, and that item 6 is closed Joseph Ferano 2026-09-13 08:07:44 +07:00
• 85ef56f657 The bindings are committed, and regeneration is what checks them Joseph Ferano 2026-09-13 08:07:40 +07:00
• a7ea3ef940 What the error value is, and the three things it deliberately is not Joseph Ferano 2026-09-13 08:06:25 +07:00
• 6e5cd89d88 Both sweeps look at the new runtime, which is the point of having them Joseph Ferano 2026-09-13 08:04:45 +07:00
• 41b60d2e4a The daemon cannot be handed a list by accident Joseph Ferano 2026-09-13 08:04:45 +07:00
• 17892852f8 Kinds, and the notes that point at the other place Joseph Ferano 2026-09-13 08:02:33 +07:00
• 542bc6a65c A bad index stops the program where it stands instead of taking the session with it Joseph Ferano 2026-09-13 08:02:22 +07:00
• 0837959140 Six refusals and a trap, each one a way of losing the property Joseph Ferano 2026-09-13 07:59:04 +07:00
• e8aeb89282 An error says which macro it is really about Joseph Ferano 2026-09-13 07:58:25 +07:00
• 2efed1630f The compiler finishes the file before it reports Joseph Ferano 2026-09-13 07:56:17 +07:00
• e933f5a84c The projectile asks, and is told the thing it was chasing is gone Joseph Ferano 2026-09-13 07:55:24 +07:00
• 2f1d20dfc3 The span gets drawn: the source line, with the thing underlined Joseph Ferano 2026-09-13 07:51:37 +07:00
• 82cf429906 Commit the generated bindings, and say that a restart is not a transaction Joseph Ferano 2026-09-13 07:50:57 +07:00
• 8f429bcd5d A pool slot that remembers how many times it has been reused Joseph Ferano 2026-09-13 07:50:06 +07:00
• a5fa83fe87 The renderer was one binding away, and the import was not allowed to be the answer Joseph Ferano 2026-09-13 07:50:03 +07:00
• 86296dd99a An error stops being a location and a string Joseph Ferano 2026-09-13 07:49:44 +07:00
• 3295f2f640 A location is a span, because a column cannot draw a squiggle Joseph Ferano 2026-09-13 07:47:59 +07:00
• 54027ca942 Where tomorrow starts: two binding lines, then a trap that should be a condition Joseph Ferano 2026-09-13 07:27:46 +07:00
• 422b698be7 Every defn states its return type, and unit is () Joseph Ferano 2026-09-13 07:26:28 +07:00
• 88e6fd9fe5 The watch window pushes, because a poll cannot answer a stopped program Joseph Ferano 2026-09-13 07:25:51 +07:00
• df73f87b2f The return type stops being a guess: the slot is mandatory, unit is () Joseph Ferano 2026-09-12 23:18:28 +07:00
• bdbb6e094c The watch window pushes, because a poll cannot answer a stopped program Joseph Ferano 2026-09-12 23:16:44 +07:00
• b79ad27335 What siam-farmer needs from Flan, and what it does not Joseph Ferano 2026-09-12 23:08:04 +07:00
• 523b80c388 The game's renderer is one missing binding; generics is not the blocker Joseph Ferano 2026-09-12 23:05:29 +07:00
• 26c53e0a19 Every defn in the tree states its return type, and Unit is written () Joseph Ferano 2026-09-12 23:06:40 +07:00
• 385ecc5c48 () is the unit type, accepted alongside the old spelling Joseph Ferano 2026-09-12 22:56:16 +07:00
• 8d8346e58a Function values with no capture, map iteration, and the prelude's macro cycle Joseph Ferano 2026-09-12 22:45:44 +07:00
• a9f903a63d A bare name is the function, and capture is the part that is not built Joseph Ferano 2026-09-12 22:41:41 +07:00
• 1393d817b0 The return type stops being a guess, and recur beats silent TCO Joseph Ferano 2026-09-12 22:44:12 +07:00
• ef9aebd807 The internal socket goes; the cap and the snapshot were never transport Joseph Ferano 2026-09-12 22:35:38 +07:00
• b8b84cd418 The two columns change places between runs, which is the actual finding Joseph Ferano 2026-09-12 22:35:09 +07:00
• a3baa0b25a The snapshot was about two threads, and there are still two Joseph Ferano 2026-09-12 22:31:36 +07:00
• f63974142f The 4K cap was a render budget, and only its second copy was transport Joseph Ferano 2026-09-12 22:29:22 +07:00
• 772d1d5b18 A cursor over the block, because nothing walked it Joseph Ferano 2026-09-12 22:24:05 +07:00
• 65a62bbb97 A socket that looped back into its own address space, deleted Joseph Ferano 2026-09-12 22:22:46 +07:00
• ea83b2a6b1 Four Clojure wrinkles we are not inheriting, and the rule that replaces each Joseph Ferano 2026-09-12 22:21:35 +07:00
• e24aee5120 A prelude function may call a prelude macro, and the fix was not ordering Joseph Ferano 2026-09-12 22:19:27 +07:00
• 822e74fa06 into fuses a chain at compile time, which is what transducers are for without being them Joseph Ferano 2026-09-12 22:19:23 +07:00
• a26469894e The prelude's second tier, which returns things instead of filling buffers Joseph Ferano 2026-09-12 22:05:22 +07:00
• 242f8c2047 Three section headers still said there was no allocator Joseph Ferano 2026-09-12 22:03:34 +07:00
• a8a7ebc3f6 The refusal block loses half its entries, and the four that stay say why Joseph Ferano 2026-09-12 22:01:30 +07:00
• eda460b052 break and continue, with labels, and an array constructor Joseph Ferano 2026-09-12 22:00:39 +07:00
• 3f097de522 Pin the latch to the continue path, and the clause barrier to its reason Joseph Ferano 2026-09-12 22:00:13 +07:00
• 008165335d break crosses only sometimes, so the refusal is relative now Joseph Ferano 2026-09-12 21:58:53 +07:00
• 7ce6043c47 A second and third sort, and why there is not a generic one Joseph Ferano 2026-09-12 21:58:12 +07:00
• a31d89e6bb The merged link needs the stubs archive, and must not name a libdl that is gone Joseph Ferano 2026-09-12 21:57:16 +07:00
• b5e7351c7e A number with a precision, which %g cannot be asked for Joseph Ferano 2026-09-12 21:55:17 +07:00
• a915140f17 flan dev is one process, and the socket does not know it Joseph Ferano 2026-09-12 21:52:35 +07:00
• 02850d7282 The prelude returns new bytes now: a builder, join, split and the case pair Joseph Ferano 2026-09-12 21:51:42 +07:00
• 1b39de32b0 A closed fd 1 is a fd 1 waiting to be handed to something else Joseph Ferano 2026-09-12 21:51:29 +07:00
• b71b7a7981 Valgrind over the corpus, in 88 seconds, with no suppressions to write Joseph Ferano 2026-09-12 21:49:50 +07:00
• 9ebee780e7 What memcheck sees that a sanitizer cannot, and where it stops seeing Joseph Ferano 2026-09-12 21:49:20 +07:00
• b0bc40ca05 atan2 and pow go out to libm, and clamp is a macro rather than four functions Joseph Ferano 2026-09-12 21:48:37 +07:00
• 9f4a59c56f A let binding has no type slot, so (array 4 T) is how you say it Joseph Ferano 2026-09-12 21:48:08 +07:00
• 884d6a4d47 One process is a claim about the process table, so the test reads it Joseph Ferano 2026-09-12 21:47:33 +07:00
• 3a91c7ef06 A corpus program that is not idempotent looks exactly like a tool finding Joseph Ferano 2026-09-12 21:46:10 +07:00
• 1a1486a17b The compiler moves into the program, and the socket does not move at all Joseph Ferano 2026-09-12 21:44:57 +07:00
• c2df38e139 The corpus under memcheck, because ASan cannot see an unwritten byte Joseph Ferano 2026-09-12 21:40:35 +07:00
• 49bb9b9c42 Macros expand, and unless is a prelude defmacro Joseph Ferano 2026-09-12 21:11:40 +07:00
• 902f6e4a1d Say that the sanitizer sweep is a list, and the macro programs are not on it Joseph Ferano 2026-09-12 21:09:03 +07:00
• 64d4993fee The expander is written down where the next person will look Joseph Ferano 2026-09-12 21:07:06 +07:00
• 2f140ae54a The prelude predates the allocator; a second tier waits on macros Joseph Ferano 2026-09-12 21:06:24 +07:00
• 545ef6e0ea A package may not declare a macro, and says so Joseph Ferano 2026-09-12 21:02:33 +07:00
• f3a0e435fd unless is not a special form any more Joseph Ferano 2026-09-12 20:59:12 +07:00
• 0e7f53a510 Quasiquote is a desugaring, and a defmacro is a defn Joseph Ferano 2026-09-12 20:51:06 +07:00
• a34b63af5d A prelude type is a name, not a list head Joseph Ferano 2026-09-12 20:41:32 +07:00
• f61bda2bef Two ways to root an inspector walk, and a frame's slot is one of them Joseph Ferano 2026-09-12 20:40:46 +07:00
• 306fc88094 A union's fields have no accessor, so RET refuses them where none exists Joseph Ferano 2026-09-12 20:40:02 +07:00
• 2b0cd9b9b4 The compiler links into the program, and the objection we feared does not exist Joseph Ferano 2026-09-12 20:37:02 +07:00
• 0389c2282c What the second root can reach, what it needs, and why both are kept Joseph Ferano 2026-09-12 20:36:48 +07:00
• 313c513ac1 Count the spike's own files correctly Joseph Ferano 2026-09-12 20:36:27 +07:00
• f585df494c A macro runs inside the compiler, and hands a Form back Joseph Ferano 2026-09-12 20:35:56 +07:00
• 3f92d420dd The compiler embeds, and the sharpest objection was not there at all Joseph Ferano 2026-09-12 20:35:29 +07:00
• 404c810958 Which frame the inspector answered from, asserted rather than reasoned about Joseph Ferano 2026-09-12 20:34:32 +07:00
• 2e9b29e549 One binary that is both a Flan program and the compiler that built it Joseph Ferano 2026-09-12 20:32:51 +07:00
• 4d29e52dbe The inspector's stack carries a root, so `i' names the frame it is looking at Joseph Ferano 2026-09-12 20:31:18 +07:00
• 3ae2c089ec Form's image format, measured instead of assumed Joseph Ferano 2026-09-12 20:30:25 +07:00
• d272a5b1e5 Six probes for whether the OCaml compiler can live in the game's process Joseph Ferano 2026-09-12 20:27:45 +07:00
• 1ee54d6b56 A union is a type name, and (vec-new) did not think so Joseph Ferano 2026-09-12 20:27:19 +07:00
• 03d4460d72 WIP: the inspector's address root, half wired on the Emacs side Joseph Ferano 2026-09-12 17:18:44 +07:00
• 122e17bd06 The inspector gets an address root, and the daemon a verb for it Joseph Ferano 2026-09-12 17:15:57 +07:00
• 4ea089839c Where the next session starts, and what to read first Joseph Ferano 2026-09-12 17:46:05 +07:00
• fbc4aea071 Merge first, measure, then choose a backend Joseph Ferano 2026-09-12 17:44:19 +07:00
• b093de25ff What embedding OCaml 5.2 costs, and why self-hosting is the honest end state Joseph Ferano 2026-09-12 17:35:38 +07:00
• e6b49b7682 Invert it: the compiler moves into the program, beside the server already there Joseph Ferano 2026-09-12 17:31:44 +07:00
• b49160b887 One process or two, which subsumes the backend question and several settled ones Joseph Ferano 2026-09-12 17:28:13 +07:00
• d9fa0f2d35 Revert "The compiler's own dlopen, a macro thunk ABI, and Form as a union" Joseph Ferano 2026-09-12 17:20:48 +07:00
• 709f292a69 The compiler's own dlopen, a macro thunk ABI, and Form as a union Joseph Ferano 2026-09-12 17:19:01 +07:00
• 9e0ae3a4ce The compiler can dlopen now, and Form is declared; the expander is not written Joseph Ferano 2026-09-12 17:18:26 +07:00
• 50b3feaa86 A dev backend, ORC, and which one actually answers the want Joseph Ferano 2026-09-12 17:17:50 +07:00
• 76ef56343d An instrumented form stays instrumented until it is evaluated plainly Joseph Ferano 2026-09-12 17:11:30 +07:00
• 46b3080eda Instrumenting with pause, and the source locations that make it not a pure Emacs job Joseph Ferano 2026-09-12 17:10:21 +07:00
• 66c29dfa5f A union is a tag and room for the largest case Joseph Ferano 2026-09-12 17:04:18 +07:00