14:53:43beachBefore I started working on the paper about call-site optimization, I was able to load Alexandria into Ersatz (E5). Today, I continued that progress and I am able to also load Acclimation, Clostrum, and Trucler.
14:54:59beachAlexandria generates lots of warnings, mostly because we are not using file-compilation semantics, so there is a warning whenever a function is called before being defined.
14:56:02beachClostrum generates two warnings that should be fixed by importing two functions from the host. Acclimation and Trucler generate no warnings.
15:31:55beachI think this latest progress is very encouraging. There is no profound reason why it shouldn't be possible to load CST, Cleavir, etc. The same way. The only potential problem I see is Eclector, because of the I/O involved.
15:32:47lonjilCould host IO be wrapped or imported for that?
15:33:46beachBut for Incless, I actually go all the way to buffered binary output. I then fake the write() system call, but that's all the faking I do.
15:33:57beachI am thinking I should do the same for input.
15:35:55beachSo in fact, if I can come up with a nice way of writing system calls, I could produce an executable that writes something and then exits.