giles

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 13:33:28 +00:00

de7be332c8 ocaml: phase 5.1 baseline OCaml programs (5/5 pass) + lookahead boundary

giles pushed to loops/js at coop/rose-ash

2026-05-08 13:21:00 +00:00

4ab79f5758 js-on-sx: parser handles comma operator (a, b, c)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 13:12:08 +00:00

756d5fba64 ocaml: phase 5 HM with user type declarations (+6 tests, 363 total)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 13:08:55 +00:00

5bc7895ce0 ocaml: phase 5 HM let-rec + cons / append op types (+6 tests, 357 total)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 13:05:25 +00:00

81247eb6ea ocaml: phase 5 HM ctor inference for option/result (+7 tests, 351 total)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 13:02:18 +00:00

d2bf0c0d00 ocaml: phase 5 HM pattern-match inference (+5 tests, 344 total)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 12:59:53 +00:00

202ea9cf5f ocaml: phase 6 List.sort + compare (+7 tests, 339 total)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 12:57:23 +00:00

812aa75d43 ocaml: phase 6 Hashtbl (+6 tests, 332 total)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 12:54:18 +00:00

6d7197182e ocaml: phase 5 HM tuple + list types (+7 tests, 326 total)

giles pushed to loops/js at coop/rose-ash

2026-05-08 12:50:46 +00:00

b7627b4102 js-on-sx: ToPrimitive treats functions as non-primitive

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 12:50:41 +00:00

a0abdcf520 ocaml: refresh scoreboard (320/320 across 14 suites)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 12:49:28 +00:00

88c02c7c73 ocaml: phase 6 expanded stdlib (+15 tests, 319 total)

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 12:39:08 +00:00

9edccb8f33 datalog: bipartite friends-with-hobby join test (229/229)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 12:38:02 +00:00

bc557a5ad2 ocaml: phase 3 exception declarations (+4 tests, 304 total)

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 12:35:39 +00:00

8e508bc90f datalog: magic existence check (bb-adornment) regression test (228/228)

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 12:33:04 +00:00

25f709549e GUEST-plan: session snapshot — 551 tests, phases 1-5 complete

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 12:32:49 +00:00

d8f6250962 ocaml: phase 3 type declarations (+5 tests, 300 total)

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 12:32:24 +00:00

f8b9bde1a5 mk: zip-with-o — element-wise combine of two lists

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 12:32:02 +00:00

5f4defe99e datalog: magic over rule with negation regression test (227/227)

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 12:31:01 +00:00

2a36e692f4 mk: take-while-o + drop-while-o — predicate-driven prefix/suffix