3:22:32beachMajor progress on SICL bootstrapping. I have eliminated satiation from the bootstrapping process, and replaced it with the real SICL code to compute applicable methods etc. The result is that I can now define arbitrary (bridge) generic functions and methods: http://metamodular.com/bootstrapping-progress.png
3:23:06beachThis shows that the method-combination code is working, and that I can compute a discriminating function that work.
3:24:04beachThere are still issue, though. I take some shortcuts during bootstrapping that make certain things not work. It should be a lesson. Remove specific bootstrapping code as much as possible and replace it with production SICL code.
3:24:50beachI am now down to 1100 lines of bootstrap-specific non-comment code.
3:25:53beachOnce I can freely define bridge generic functions and methods, I can use production SICL code to create ersatz generic functions and classes.