freenode/#sicl - IRC Chatlog
Search
5:19:30
beach
Yesterday, at the end of the day, I finally started to understand the latest failure in replacing bootstrapping-specific code with production SICL code.
5:20:09
beach
The problem was there all along, but the bootstrapping-specific code managed to hide it.
5:21:06
beach
At some point, when I load definitions of MOP classes, I create writer methods on writer generic function for the slots with an :accessor option.
5:21:41
beach
The first element on the list of specializers for such a method is typically the class named T.
5:22:51
beach
So it is not a class of the type that is required for that particular phase in the bootstrapping procedure.
5:23:29
beach
This problem shows up MUCH later in the bootstrapping procedure, which is why it was so hard to find.
5:24:09
beach
It shows up because, when I use production SICL code, I invalidate the discriminating function when I add a new method that alters the specializer profile.
5:24:34
beach
So when the generic function is invoked, a new discriminating function has to be computed.
5:26:41
beach
In the bootstrapping-specific version, the discriminating function is not recomputed, so the error is hidden.
5:31:43
beach
Anyway, it took a while to figure out why the problem is happening, and it is going to take at least today (because I am busy doing laundry, fixing dinner, and preparing lunch for my lunch due guests tomorrow) to fix it, but I am very pleased with the progress.
5:38:47
beach
The function (SETF CLASS-DIRECT-SUBCLASSES) is called with a CONS as its first argument. So when the call history item is created, the class of the first argument is determined.
6:30:38
heisig
I am also making excellent progress with my PhD code. If things continue like this, I will soon have time for more SICL/Cleavir work.
6:34:02
beach
Yeah. My (admittedly small) family says that I work to hard and that I need more rest.
6:35:20
beach
On November 19, we go to Paris. We stay two nights in a room at Novotel, half a block from EPITA where Jim Newton's defense is going to be.