3:02:36karloszokay, looking again at locall analysis. think i finally understand it, but i still don't understand how you can have blocks with different home lambdas lead into a common block with yet another distinct home lambda
3:02:53karloszi think it mostly happens with optional dispatches (?)
3:03:10karloszproblem is, too much stuff cascades from other ir1opts that i can't tell where its coming form
14:02:07pfdietzI look forward to reading this month's NEWS when it gets fleshed out.
14:10:56phoethis is the failing part of ANSI-TEST subtypep.cons.43
14:11:11phoethis gives me NIL T even though the second type is equivalent to T, so T T should instead be returned
14:11:58pfdietzMuch like this bug https://bugs.launchpad.net/sbcl/+bug/1795967
14:12:47pfdietzOr this one https://bugs.launchpad.net/sbcl/+bug/1694839
14:13:44pfdietzAttempts to fix those have bounced off the opacity of the code, I think.
14:13:49phoepfdietz: OK, I'll place a comment on the later.
14:30:42pfdietzThe difficulty of working with that code is why I was pointing out the targeted random tester, so the hero attempting to fix it can rapidly test their work.
14:34:03phoethis issue has two sides, both of which might fix it