freenode/#sbcl - IRC Chatlog
Search
2:24:46
aeth
Does 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:15
aeth
I 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:04
aeth
I 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)
2:30:40
aeth
And even if the error part of the ecase could be reached (e.g. there's a case defined for :foo :baz and :qux but not :bar) that's something that could be a valid reason to give a warning or at least a note.
3:02:27
|3b|
which isn't too surprising since they also handle medonline.com dns, so not sure how you would find them to look up their IP addresses