freenode/#sicl - IRC Chatlog
Search
14:50:12
beach
I think my laziness in the past just caught up with me. I am not yet handling EQL specializers very well, if at all, and I am not correctly compiling discriminating functions.
14:50:22
beach
But since then, I made some decisions that makes it absolutely necessary to handle these things correctly. The main such decision was to use the AST as the fasl format, which will require me to put a lot more code in the final first-class global environment during bootstrapping.
14:50:27
beach
And a lot of that code requires EQL specializers and working discriminating functions.
14:51:50
beach
Also, I thought I could get away with not eliminating TYPEQ and not implementing TYPEP during bootstrapping. Wrong!
14:52:28
beach
I now understand that the last of all the first-class global environments used during bootstrapping must contain final versions of SICL code.
14:54:05
beach
So, that means implementing functions like LISTP, CONSP, etc to use TYPEQ, and then eliminating TYPEQ in favor of CONSP-INSTRUCTION and similar instructions, and finally calling TYPEP if the type is too complicated to handle with instructions.