19:08:42pfdietzA freeze is fine; I can't seem to break anything now anyway.
19:13:56Xofyes but it's important not to have any fun while freezing
21:01:59stassatsi really need to set up quicklisp testing
21:07:26stassatsXach: what do i do after getting quicklisp-docker?
21:17:00stassatsthere's not a single NEWS entry...
2:24:46aethDoes SBCL have any kind of special support for this sort of idiom? (defun foo (foos) (declare (foos foos)) (ecase ...)) where the ecase goes through everything in foos where the type is defined by (deftype foos () `(member :foo :bar ...)) or perhaps defined as (deftype foos () `(and keyword (member :foo :bar ...))) instead.
2:25:15aethI noticed it does know enough to warn about deleting the unreachable items in the ecase if I specify things that aren't in foos
2:29:04aethI noticed, though, that it keeps the ECASE failure even though it cannot possibly be reached (and if a CASE is used instead, it considers it possibile that it could return NIL even though that's impossible)