Joseph Ferano da40dc2de2 The rule a re-run follows is written down, and a test fails without it

2026-09-20 11:30:58 +07:00

..

agent.ml

A socket that looped back into its own address space, deleted

2026-09-12 22:22:46 +07:00

ast.ml

handler-case is a handler-bind plus a transfer, and nothing more

2026-09-19 20:53:31 +07:00

build.ml

The collector is not dropped by the linker, and a literal is where dyn is sharper

2026-09-19 05:58:52 +07:00

check.ml

and hands back its deciding operand too, and both locs get sharper

2026-09-20 10:36:05 +07:00

cimport.ml

A parameter with no type is dyn, decided where the type names are all known

2026-09-19 05:47:49 +07:00

cjson.ml

Read the header instead of trusting the transcription

2026-09-12 16:03:07 +07:00

dev.ml

The rule a re-run follows is written down, and a test fails without it

2026-09-20 11:30:58 +07:00

dune

One unannotated add, answering 5 to the integers and 3.75 to the floats

2026-09-19 05:55:48 +07:00

dynload_stubs.c

An expression evaluated against a parked program runs on the parked thread

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

dynload.ml

Revert "The compiler's own dlopen, a macro thunk ABI, and Form as a union"

2026-09-12 17:20:48 +07:00

emit.ml

A defvar's initialiser runs once, so its value survives a re-run

2026-09-20 11:16:37 +07:00

expand.ml

The tagged sum is defdata, and the old spelling is an error by name

2026-09-17 19:03:27 +07:00

form.ml

Three type-constructor comments spell the map type the way the parser does

2026-09-14 07:36:24 +07:00

js.ml

A parameter with no type is dyn, decided where the type names are all known

2026-09-19 05:47:49 +07:00

load.ml

handler-case is a handler-bind plus a transfer, and nothing more

2026-09-19 20:53:31 +07:00

loc.ml

An escaped diagnostic says which file and which line, not (_)

2026-09-17 21:44:46 +07:00

macro.ml

The provider, checked against the reader that was written by hand

2026-09-19 06:00:54 +07:00

parse.ml

and hands back its deciding operand too, and both locs get sharper

2026-09-20 10:36:05 +07:00

prelude.ml

Dyn maps, keywords and nil land: milestone 2's first item

2026-09-19 19:44:56 +07:00

program.ml

An expression evaluated against a parked program runs on the parked thread

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

reach.ml

A global's initialiser may be computed, and both backends run it the same way

2026-09-19 04:24:52 +07:00

reader.ml

Kinds, and the notes that point at the other place

2026-09-13 08:02:33 +07:00

render.ml

One unannotated add, answering 5 to the integers and 3.75 to the floats

2026-09-19 05:55:48 +07:00

session.ml

The foreign boundary is about ownership, and it was reading shape

2026-09-19 23:02:26 +07:00

shim.ml

Four places the runtime answered with something other than the truth

2026-09-17 22:17:19 +07:00

tast.ml

The foreign boundary is about ownership, and it was reading shape

2026-09-19 23:02:26 +07:00

types.ml

Typed = and != grow strings — M2 queue item 5

2026-09-19 19:56:36 +07:00

wire.ml

A pause mark travels beside the source, not inside it

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

x86.ml

A defvar's initialiser runs once, so its value survives a re-run

2026-09-20 11:16:37 +07:00