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
9:24:42
flip214
minion: memo for dougk_: do you think ICF should be disabled for this release, or are you fairly sure that it won't cause breakage?
11:58:08
Xach
stassats: make $HOME/build/{upstream-cache,dist}, check out https://github.com/quicklisp/quicklisp-projects.git to $HOME/build, then start things up with run.sh
11:58:52
Xach
within the image, start emacs, (ql:quickload "quicklisp-controller"), (quicklisp-controller::recrank-to-file "~/crank.txt"), wait 10 hours
12:01:07
Xach
stassats: the html report is automatically written by recrank-to-file somewhere, but it might be inside the docker container and not outside. i'd have to double-check. the code is in html-failure-report.lisp. that is the easiest way to get a summary of failures.
12:01:38
Xach
stassats: for an individual project, (quicklisp-controller::update-and-crank 'project-name) will get new sources and try to rebuild. if it fails, (failtail 'project-name) shows the build log.
12:06:43
Xach
stassats: right now i'm using a virtualbox setup because docker is too slow. but it was initialized from the docker script configuration.