freenode/#sicl - IRC Chatlog
Search
3:09:10
beach
Bike: OK, that's good news. I remember talking about this control graph where we would initially make very conservative assumptions and then refine them.
3:55:25
beach
Well, I am not going to replace the first phases of the SICL compiler by the libraries that scymtym is working on any time soon. But I think we should aim for it as a long-term goal.
3:55:32
beach
His libraries have lots of external dependencies on other libraries, and those other libraries must be present in the SICL executable from the start in order for it to be possible to run the compiler.
3:55:38
beach
Fairly recently (the past year, maybe), I started making it possible to load external libraries (like Alexandria) into SICL during bootstrapping, but the effort hasn't been systematic, so I have been duct-taping SICL to make that kind of stuff work.
3:55:44
beach
But I can now see that this work needs to be more systematic. So I think we should continue the goal of making a native executable as soon as possible, and then start a longer effort to make it easier to load external libraries during bootstrapping.
3:55:45
beach
Such an effort may very well involve getting ASDF to work early on during bootstrapping.
5:25:01
beach
Getting ASDF to work early would also avoid the kludges that I now have in order to load Alexandria and other external systems.
6:45:14
no-defun-allowed
Looking at the comment for COMPARISON-MIXIN: "Mixin class for comparison instructions, i.e., instructions that take two inputs, has no output, and has two successors."
6:46:11
no-defun-allowed
"instructions" is plural, so should "has" be corrected to "have"? And there is another group of instructions, which is similar but takes one input and does some test. Is TEST-MIXIN a reasonable name?
6:47:41
no-defun-allowed
(For example, CONSP-INSTRUCTION, STANDARD-OBJECT-P-INSTRUCTION. But I am not sure if all the relevant instructions check tags, so I don't think I should mention it in the name.)
14:30:42
beach
So, instead of loading ASDF early, and instead of doing a small part of what ASDF is doing, I ought to be able to configure ASDF so that its load-op means loading a file into a first-class global environment according to how it is done during SICL bootstrapping.
14:32:08
scymtym
beach: this is not very developed, but you can either use the right-click menu to show more elements or click and drag (left and right) the part that says something like "showing 0 ... 100" at the top of the sequence presentation
14:54:54
beach
I think it will be possible if I can figure out how ASDF really works. Reading the manual may not be enough.
14:56:46
beach
I already did that, but I need to figure out how to propagate the operation to systems that the current one depends on.