libera/#sicl - IRC Chatlog
Search
15:01:03
beach
http://metamodular.com/SICL/sicl-specification.pdf chapter 20 and section 23.4 is what I came up with for how code objects are tied to an environment. Chapter 20 explains how it works in native code, and section 23.4 how it is done at bootstrapping time by the HIR evaluator.
15:02:55
beach
I am intentionally vague on what the code generator must do because I haven't worked that out entirely. But it is essentially keeping track of indices into the code vector where values need to be filled in as a result of knowing the location of various instructions in the code vector.
15:50:46
mfiano
Right now I'm thinking more about program modules in my design. I am questioning their granularity, and the criteria on which they should become external libraries.
15:54:49
beach
mfiano: You are excused. I think it requires intimate knowledge about SICL bootstrapping and compilation.
16:15:04
Bike
beach: where are you using ctype? i'm writing a more comprehensive manual and contemplating interface changes and don't want to break things
16:15:50
beach
ctype is the native implementation for SUBTYPEP in SICL, and I am using it in COERCE.
16:28:37
beach
I am off to fix dinner for my (admittedly small) family, and then spend time with her. I'll be back tomorrow.
16:30:18
Bike
"Literals that are present in source code are already present in the instruction stream in the untied code object" i thought that, essentially, things like literal symbols would be treated as load-time-value forms, but this is written like only actual load-time-value forms are treated as such and everything else is more immediate