• Joined on 2024-04-09
giles pushed to loops/haskell at coop/rose-ash 2026-05-06 00:22:51 +00:00
41a69ecca7 haskell: class/instance declarations — parse + instance dict eval (+11 tests, 503/503)
giles pushed to loops/haskell at coop/rose-ash 2026-05-05 23:47:59 +00:00
5c00b5c58b haskell: inference unit tests — 55+ expressions, Phase 4 complete (+16 tests, 492/492)
giles pushed to loops/haskell at coop/rose-ash 2026-05-05 23:26:03 +00:00
622c0851ce haskell: let-polymorphism tests — id/const/nested/twice at multiple types (+6 tests, 476/476)
giles pushed to loops/haskell at coop/rose-ash 2026-05-05 23:02:39 +00:00
d8f3f8c3b2 haskell: type-sig checking — hk-ast-type + hk-check-sig + sig-aware infer-prog (+6 tests, 470/470)
giles pushed to hs-f at coop/rose-ash 2026-05-05 22:46:16 +00:00
17b5acb71f HS: resolves global context properly (+1)
giles pushed to hs-f at coop/rose-ash 2026-05-05 22:35:47 +00:00
0753982a02 HS: custom conversion API + asExpression tests (+2)
giles pushed to loops/haskell at coop/rose-ash 2026-05-05 22:32:24 +00:00
2606b83920 haskell: reject untypeable programs — hk-typecheck + hk-run-typed (+9 tests, 464/464)
giles pushed to hs-f at coop/rose-ash 2026-05-05 22:13:38 +00:00
2f8abb18a3 HS: generator hand-rolls + transition possessive target (+4 tests)
giles pushed to loops/haskell at coop/rose-ash 2026-05-05 21:40:20 +00:00
68124adc3b haskell: type error reporting — hk-expr->brief + hk-infer-decl/prog (+21 tests, 455/455)
giles pushed to loops/forth at coop/rose-ash 2026-05-05 21:31:10 +00:00
aad178aa0f forth: fix #S / UM/MOD precision bugs — Hayes 628→632/638 (99%)
giles pushed to hs-f at coop/rose-ash 2026-05-05 21:24:15 +00:00
2de96e7f4f HS: behavior suite fixes — host-call-fn K.callFn try-catch + 20s deadline
giles pushed to loops/prolog at coop/rose-ash 2026-05-05 20:41:49 +00:00
ef736112ef prolog: integration test suite (+20)
giles pushed to loops/haskell at coop/rose-ash 2026-05-05 20:26:48 +00:00
8f3b0d9301 haskell: Algorithm W type inference + 32 tests (434/434)
giles pushed to hs-f at coop/rose-ash 2026-05-05 20:23:52 +00:00
f6a1b53c7b HS: sieve test compile-once + string-var expansion in generator
giles pushed to loops/haskell at coop/rose-ash 2026-05-05 20:15:42 +00:00
5a402a02be briefing: push to origin/loops/haskell after each commit
giles pushed to loops/prolog at coop/rose-ash 2026-05-05 20:15:37 +00:00
e4eab6a309 briefing: push after each commit, unblock hyperscript bridge
giles pushed to loops/forth at coop/rose-ash 2026-05-05 20:08:18 +00:00
32a8ed8ef0 briefing: push to origin/loops/forth after each commit
giles pushed to loops/common-lisp at coop/rose-ash 2026-05-05 20:08:07 +00:00
6d53d36495 briefing: push to origin/loops/common-lisp after each commit
giles pushed to architecture at coop/rose-ash 2026-05-05 20:04:43 +00:00
c311d4ebc4 cl: Phase 5 set-macro-character + Phase 6 corpus 200+ — 518/518 tests
99f8ccb30e cl: Phase 6 packages — defpackage/in-package + pkg:sym — 518/518 tests
4f9da65b3d cl: Phase 6 FORMAT + substr fixes — 514/514 tests
025ddbebdd cl: Phase 6 stdlib — sequence/list/string functions, 508/508 tests
f449f82fdd cl: Phase 5 macros+LOOP + Phase 2 dynamic vars — 464/464 tests
Compare 86 commits »
giles pushed to loops/forth at coop/rose-ash 2026-05-05 20:03:26 +00:00
91611f9179 Merge architecture into loops/forth
086ad028ce Merge loops/erlang into architecture — 530/530 tests, all phases complete
97ccd61f74 Merge loops/smalltalk into architecture — 847/847 tests, all phases complete
90bc1208d9 plan: tick Phase 22 Forth — all Phase 22 items complete
8019e5725b phase 22 forth: bitwise/string-buffer/memory in lib/forth/runtime.sx (36 forms), 64/64 tests
Compare 161 commits »