libera/#sicl - IRC Chatlog
Search
15:32:30
scymtym
yitzi: Bike: thanks for testing. i'm adding the state protocol and one or two unrelated changes to the Eclector master branch. everything will be ready for a release then. do you want to test again with the updated master branch before i make the release or should i just go ahead once i'm ready?
15:40:19
yitzi
scymtym: Clasp's reference to Eclector is by specific commit or tag. if something is broken we can always hold that reference to whatever commit works. In other words, I don't think you need to wait on us. Everything seems to work, so feel free. :)
16:13:28
paulapatience
Is it just me or does BIR visualizer not actually do much with compilation-policy? First, from policy-qualities it returns what actually looks like optimize qualities. Second, there doesn't seem to be policy computers. (And it confusingly (to me) uses the term policy to mean optimize info.) I'm thinking of just dropping the specializations of compilation-policy methods from it, because it doesn't even have a client class, just the
16:20:46
scymtym
paulapatience: i don't recall doing anything special with the policy. the requirements are basically that CLEAVIR-AST-TO-BIR:COMPILE-TOPLEVEL works at all and that the optimization settings specified in the application gui are relayed to the compiler
18:52:11
scymtym
the Eclector release is done: https://github.com/s-expressionists/Eclector/releases/tag/0.9.0
19:55:52
paulapatience
Another random find: 'lead' should be 'led' in https://github.com/s-expressionists/Eclector/blob/master/NEWS#L37
20:20:52
paulapatience
Now what's left is moving type-expand and company, and eval, out of cleavir-environment
1:45:05
paulapatience
Ok, the default cleavir-environment:type-expand takes an entry env, and calls type-expand on (next env). I'm having trouble understanding how to map that to Trucler's way of doing things. From what I can gather, the old way (with cleavir-environment) was: every info is an entry, with a %next slot that points to the next info. And the new way (Trucler) is to have an environment which is augmented and keeps a list for each kind of description.
1:45:05
paulapatience
So should the new type-expand call itself on all the descriptions of a Trucler environment instance? (That doesn't seem to make sense, though.) I'm confused, probably because I don't fully understand environments yet.
2:15:54
Bike
paulapatience: if you go through cst-to-ast that should help with understanding environments