chromatopelma/csc/ir1.csc, branch mainPartial r7rs implementation with a focus on ease of implementation and a reusable library. Work in progress.https://code.roseh.moe/chromatopelma/atom/csc/ir1.csc?h=main2022-08-02T02:35:19ZModify the project structure.2022-08-02T02:35:19ZRose Hogensonrhogenson@posteo.net2022-08-02T02:35:19Zurn:sha1:acc561366f3fe6ec0377103f52ef0f7e923711c9
Now the lib directory contains what will eventually end up on the
user's /usr/lib/csc. When I write make install, it will copy all of
the .csc files from lib into the destination lib directory. This means I
can start working on the standard library in lib/scheme.
Perform argument conversion.2022-07-21T03:08:14ZRose Hogensonrhogenson@google.com2022-07-20T22:39:23Zurn:sha1:e615308b928585013461482f879f536527c5acc2
The point of argument conversion is to validate on each function call
that the right number of arguments were passed, and to ensure that no
function has more than 1 argument. This second condition makes CPS
slightly simpler, and ensures that the arguments will all fit in locals.
We take the strategy of allocating a vector for each function call.
Ideally we would optimize away most of these allocations, but for now I
just want it to work.
Add builtin operations to IR1.2022-07-13T05:55:48ZRose Hogensonrhogenson@google.com2022-07-13T05:55:48Zurn:sha1:d18813441649665f42b524443c65d0b6bb4ac59aAdd a diff library.2022-07-03T21:37:10ZRose Hogensonrhogenson@posteo.net2022-07-03T21:37:10Zurn:sha1:bcb098e8eb18637b6999789585a38ff9168de9d5
I was hesitant to add a diff library, but it was surprisingly easy. A
straightforward application of dynamic programming.
Write closure conversion.2022-07-03T06:04:28ZRose Hogensonrhogenson@posteo.net2022-07-03T06:04:28Zurn:sha1:37e086d27d478246e72b8f5c1b75ed5d092495fa
I desperately need a diffing library.
Add pattern matching for record types.2022-06-30T04:52:30ZRose Hogensonrhogenson@posteo.net2022-06-30T04:52:30Zurn:sha1:804a2fe3c90c06a22a1eed5ea50d667ff3e7b08c
I like scheme because it's possible to add any convenient language
feature I can think of.
Improve CPS.2022-06-28T22:58:36ZRose Hogensonrhogenson@posteo.net2022-06-28T22:58:36Zurn:sha1:fed28363fb60266c030a0f6b30d5a9d697774ee0
Goodbye soup. Thanks to "Compiling with Continuations" by Appel.
Finish CPS.2022-06-27T03:14:19ZRose Hogensonrhogenson@posteo.net2022-06-27T03:14:19Zurn:sha1:52da9c556a170ed8e5f811c3acd56088baf94c80
Wow we actually finished CPS. Next is closure conversion, then codegen,
and then we should be able to run some end to end tests. Then we can
look at garbage collection, and from there continue building features
down the long road to self hosting.
More CPS.2022-06-26T02:32:04ZRose Hogensonrhogenson@posteo.net2022-06-26T02:32:04Zurn:sha1:05463502db73ab9a5ac23e1f598e838fbe14b3f8Continue work on continuation passing style.2022-06-25T23:14:47ZRose Hogensonrhogenson@posteo.net2022-06-25T23:14:47Zurn:sha1:7004f8d7a381fcd2f9c63ae04d99dc67161158f4