14:48:01beachWhenever a control arc is removed, the type information of some variable in the node in its head may have changed. So whenever you remove a control arc because some variable has the type NIL there, then you need to re-run the inference.
14:51:34beachBecause other variables than the one that caused the control arc to be removed may have different types in the head and its successors now.
14:57:50Bikebecause of how kildall works i can do it equivalently by putting in a check where if any variable is nil it doesn't go down that control path.
14:59:14Bikethat'll probably fix it for eq as well...
16:16:49beachHAH, the entire Earley parsing framework is less than 600 lines of code. That should be compared to 1400 lines of code for parsing lambda lists in Cleavir code utilities.
16:17:25beachIn all fairness, the Earley parsing framework still doesn't quite work, but most of the code is in there.
16:30:00beachAlso, at the moment, I am testing it on ordinary Common Lisp lists. Once that works, I'll switch over to CSTs.
20:41:45drmeisterHe may have questions now and then and if Bike or I aren't around I suggested he could ask questions about Common Lisp here or in #lisp
20:42:06ShinmeraIs he going to want access to the autobuild machines too?