Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
2026-05-27
| ||
| 20:47 | added DRY token tool for enq3ml Leaf check-in: 574c723d70 user: e tags: efml | |
| 18:26 | enq1ml progressing: Match Compiler coded and compiling; more work on paeh integrating Julia libs check-in: e08dfa77ed user: e tags: efml | |
| 14:07 | new skill for Claude check-in: 707921eba5 user: e tags: efml | |
| 14:03 | enq1ml implementation continues; revise paeh finalization design check-in: b1494cc99c user: e tags: efml | |
|
2026-05-26
| ||
| 23:36 | work on paeh finalizers check-in: b2819f0b98 user: e tags: efml | |
| 22:09 | more progress on enq1ml check-in: 32d02a42d5 user: e tags: efml | |
|
2026-05-25
| ||
| 23:39 | added some notes on libtcc check-in: b68939dc3f user: e tags: efml | |
| 22:29 | work in progress on enq1ml check-in: 89e6b830ee user: e tags: efml | |
| 21:09 | enq1ml/Parse.ml compiles now check-in: 51367912b8 user: e tags: efml | |
| 19:53 | start enq1ml implementation check-in: db41a55e46 user: e tags: efml | |
| 19:51 | add foreign file loading in modules using with; add Append class check-in: ab965bb901 user: e tags: efml | |
| 15:04 | shift bits around in paeh header for record discriminator check-in: 66190038da user: e tags: efml | |
| 12:40 | move examples to libml; refine the library files a bit check-in: e6d1d30289 user: e tags: efml | |
| 00:50 | update bootstrap plan; adjust paeh for efml check-in: 7ca0b7032b user: e tags: efml | |
|
2026-05-24
| ||
| 20:41 | start bringin in paeh check-in: 78b739f87f user: e tags: efml | |
| 19:58 | remove obsolete redefinition test in elaborator check-in: 631122aa72 user: e tags: efml | |
| 19:47 | add pattern guards in match compiler; wire in redundant pattern checker check-in: cafbe88a23 user: e tags: efml | |
| 17:44 | fix a gc bug in lex.rl check-in: 2695790103 user: e tags: efml | |
| 16:57 | complete the mutual recursion parser and REPL support check-in: 8f799f8120 user: e tags: efml | |
| 15:11 | implement operator elaboration check-in: 52907afca0 user: e tags: efml | |
| 12:53 | remove extraneous check; update bootstrap analysis check-in: 5c6f8ee3e2 user: e tags: efml | |
|
2026-05-23
| ||
| 23:29 | implement namespace isolation design and permit redefinition in REPL check-in: 729461a0bb user: e tags: efml | |
| 20:55 | Add namespace isolation implementation plan check-in: 4f0f01bad0 user: e tags: efml | |
| 18:21 | fix a bug with circular record refs causing gc crash; fix delete in BBTree check-in: ace14a77a1 user: e tags: efml | |
| 16:43 | work on BBTree check-in: ed20a60875 user: e tags: efml | |
| 14:59 | fixes to match compiler from BBTree debug check-in: bb21d187ea user: e tags: efml | |
| 00:31 | fix a couple compiler bugs check-in: 8ab69b4356 user: e tags: efml | |
| 00:30 | fix a couple compiler bugs check-in: b9f9e8e584 user: e tags: efml | |
|
2026-05-22
| ||
| 23:37 | implement typed exceptions check-in: 18309593ea user: e tags: efml | |
| 18:28 | implement deriving (Eq, Cmp) check-in: 27abe65f2a user: e tags: efml | |
|
2026-05-20
| ||
| 16:22 | implement `deriving Read` check-in: f1e3fddaa3 user: e tags: efml | |
|
2026-05-18
| ||
| 20:59 | add new foreign function declaration check-in: 89b0b51aa7 user: e tags: efml | |
| 20:17 | update todo and design documents with improvements for planned foreign function interface check-in: 81da7b4b61 user: e tags: efml | |
| 17:16 | update todo and design documents with uncurry concerns for planned foreign function interface check-in: c8acdc3a0d user: e tags: efml | |
| 16:35 | fix uncurry to work with all builtin functions check-in: aa0e126a30 user: e tags: efml | |
|
2026-05-17
| ||
| 22:33 | implement constant folding check-in: 7f4ddd7d51 user: e tags: efml | |
| 22:22 | implement single use inlining check-in: c5ae805d39 user: e tags: efml | |
| 20:48 | implement labeled exit optimization in match compiler check-in: d39ef1c88e user: e tags: efml | |
| 17:01 | implement two trivial optimizations in gen-switch and lir-sequence check-in: 404709e2de user: e tags: efml | |
| 16:54 | implement beta reduction optimization check-in: f37ba45ded user: e tags: efml | |
| 14:58 | implement uncurry optimization check-in: af069ff400 user: e tags: efml | |
|
2026-05-16
| ||
| 20:00 | implement deriving Show for ADTs check-in: f6e75327c1 user: e tags: efml | |
| 16:26 | add repl commands check-in: 87a9cbc7d6 user: e tags: efml | |
| 15:57 | implement record field accessor with dot check-in: 457561eaec user: e tags: efml | |
| 14:30 | fix qualified imports to not define unqualified name check-in: ad5eec4d36 user: e tags: efml | |
|
2026-05-15
| ||
| 18:53 | deferred plan for deriving Show check-in: 9c67a8bc92 user: e tags: efml | |
| 18:35 | ignore comments in REPL check-in: 7b5b167c4d user: e tags: efml | |
| 18:28 | improved repl with rollback of repl-guard on errors check-in: b06ec78b3b user: e tags: efml | |
| 18:08 | added syntax coloring plugin vscode; added cmp Ord method and related Show items check-in: 8e628a5066 user: e tags: efml | |
|
2026-05-14
| ||
| 23:16 | sketch foreign function interface check-in: 6c9f925456 user: e tags: efml | |