13:21:51Bikein clasp what we do is maintain a list of eql specializers at each position in the specializer profile, and then not cache entries if they have a class specialization in a position with eql specializers.
13:22:06Bikemight also be possible to just cache entries for all the eql specializers at once whenever you miss on any of em
13:22:29beachThe latter choice is what I am contemplating.
13:23:24beachAnd once I make this work, I need to teach satiation about it.
13:23:44beachThat way, TYPEP will be fully functional once I have a cyclic graph.
13:24:29beachI think once I finish bootstrapping, there is enough material for a book on it.
16:13:09beachI think I have a solution to the problem with discriminating functions. Tomorrow, I'll write down what I came up with. There are some messy details so I prefer a separate text rather than trying to stick everything in here. Plus, it gives me a bit more time to think it through.