Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
2026-07-07
| ||
| 01:46 | start de-duping functions from enq3ml; reveal cross module compilation bug (worked around for now) Leaf check-in: e5f1f6931e user: e tags: efml | |
|
2026-07-06
| ||
| 21:36 | add basic value shadowing warning to enq3ml compiler check-in: fdd6dd279e user: e tags: efml | |
| 20:31 | get compiler warnings working; fix a frame slot allocation bug check-in: f67ec0517e user: e tags: efml | |
|
2026-07-05
| ||
| 17:59 | made divide op Num-generic, added toFloat check-in: 04a0ec6c20 user: e tags: efml | |
| 17:33 | remove the redundant topo_sort_modules machinery from the enq3ml compiler check-in: 1bd45a9e9e user: e tags: efml | |
| 17:24 | remove obsolete static module dependecy structure check-in: 54c344c6df user: e tags: efml | |
| 17:00 | compound String read . show round trips, with tests check-in: 29f01ff26b user: e tags: efml | |
| 13:19 | extended Read to handle compound types check-in: 3600eb81a4 user: e tags: efml | |
| 02:37 | add ReadTest; extended DerivedShowTest (ctor-args), ScalarTest (Show-Ordering), TupleTest (Eq/Ord); fix related defects check-in: 063b77c531 user: e tags: efml | |
|
2026-07-04
| ||
| 21:53 | update prompt queue check-in: 9f04f5f781 user: e tags: efml | |
| 21:01 | update prompt queue check-in: e7f761d0e9 user: e tags: efml | |
| 20:57 | use heapsort for simple-sort; fix register shortage for unit tests check-in: a63a631fc7 user: e tags: efml | |
| 19:21 | fix float Num instance dispatch in enq3ml compiler check-in: 1f0cd34d10 user: e tags: efml | |
| 18:22 | add more native efml tests, expose more bugs check-in: efd9ab7f9d user: e tags: efml | |
| 17:50 | fix Show and exception match exhaustiveness codegen check-in: b3dc5b683f user: e tags: efml | |
| 17:16 | native tests added; two buges revealed check-in: f4e57b39d6 user: e tags: efml | |
| 14:04 | foreign value feature fixed in native compiler check-in: 01a9b14c80 user: e tags: efml | |
| 12:51 | add makefile for efml bootstrap check-in: ad01ecdfab user: e tags: efml | |
| 00:39 | todo prompt notes updated check-in: feab212236 user: e tags: efml | |
| 00:35 | hoist the function closure save/restore out of the loop in ml_map_d and m_filter_d check-in: 54db141500 user: e tags: efml | |
| 00:08 | add fast path optimization to code gen for function entry boilerplate check-in: b4fe842702 user: e tags: efml | |
|
2026-07-03
| ||
| 23:49 | streamline enq3ml function-entry boilerplate check-in: 292172da0e user: e tags: efml | |
| 22:54 | put prompt queue in repo check-in: 16a035e5a1 user: e tags: efml | |
| 22:47 | improve the safe-for-space code generation check-in: caa4425702 user: e tags: efml | |
| 18:19 | bootstrap achieved! sh efml/test/bootstrap.sh check-in: 582a189277 user: e tags: efml | |
|
2026-07-02
| ||
| 01:06 | bootstrap ran though one native iteration, segfaults on second iteration; progress check-in: f33acbb6a6 user: e tags: efml | |
|
2026-07-01
| ||
| 20:32 | add stack size check to code gen check-in: 99d1f74d42 user: e tags: efml | |
| 19:29 | fix some gode gen gc safety issues check-in: 6763c5f5de user: e tags: efml | |
|
2026-06-30
| ||
| 22:59 | nearly there, a bit of debugging to do for the native/native comiler check-in: 25daa44681 user: e tags: efml | |
| 19:01 | self compile works, but missing some runtime ClosedFun forward defs for fixed point build check-in: 82333da538 user: e tags: efml | |
|
2026-06-29
| ||
| 22:03 | a few bugs squashed check-in: 35bca1e6e9 user: e tags: efml | |
| 19:21 | Module.ml native loading is complete and verified for value + tycon imports. Full Repl self-host blocked by Infer/SurfaceType gaps when loading BBTree.ml / Types.ml. check-in: a9b91a98ba user: e tags: efml | |
|
2026-06-28
| ||
| 20:49 | enq3ml wip; unify cons representation with records check-in: 1c31fc9671 user: e tags: efml | |
| 18:28 | enq3ml wip check-in: de5dc7105d user: e tags: efml | |
|
2026-06-27
| ||
| 20:00 | paeh optimizations and unit tests check-in: 0ccc818970 user: e tags: efml | |
| 18:37 | wip on enq3ml check-in: f079815006 user: e tags: efml | |
|
2026-06-24
| ||
| 16:29 | add ArithTest.ml integration test for enq3ml check-in: 9e5c026ddb user: e tags: efml | |
| 14:49 | fix some compiler and runtime bugs; bootstrapped compiler is basically working check-in: 0ab81d2e8e user: e tags: efml | |
|
2026-06-23
| ||
| 20:04 | fix two native enq3ml binary bugs causing wrong C generation check-in: 2677ab6dbc user: e tags: efml | |
| 18:00 | a few bugs squashed; compiler bootstrap v1 compiles and runs check-in: f61dd0f91b user: e tags: efml | |
| 12:41 | continue to flesh out enq3ml; ready to test with some things stubbed check-in: 4f78891f41 user: e tags: efml | |
|
2026-06-22
| ||
| 19:50 | add GenC to enq3ml check-in: 0e578813e2 user: e tags: efml | |
| 19:23 | continue to flesh out yhe enq3ml compiler check-in: b1e763bfcf user: e tags: efml | |
| 18:52 | added the pure ml files for enq3ml check-in: 3f1c8e61b9 user: e tags: efml | |
| 18:37 | update Ast and Parse for enq3ml check-in: ea20311564 user: e tags: efml | |
| 16:56 | revert some deviations from plan check-in: c1bd58d1a8 user: e tags: efml | |
| 14:33 | implement and test a bit more paeh glue check-in: fc4e5952cf user: e tags: efml | |
|
2026-06-21
| ||
| 17:21 | fix bug in cstruct reap, and update unit tests for api change in char find functions check-in: 848f4633c5 user: e tags: efml | |
| 16:12 | add lexer support for enq3ml check-in: 5903b7a776 user: e tags: efml | |
|
2026-06-20
| ||
| 14:00 | remove substitution unify global mutation check-in: 98f33153d9 user: e tags: efml | |