freenode/#sbcl - IRC Chatlog
Search
13:13:09
scymtym
i have a design decision to make regarding a new macro for test-utils: (checked-compile-and-assert (&rest CHECKED-COMPILE-KEYWORDS &key optimize) FORM (ARGS1 VALUES1) (ARGS2 VALUES2) …). now, OPTIMIZE is a specification of optimization settings to map over, compiling and asserting for each one. what should the default behavior be if OPTIMIZE is not supplied?
13:16:12
scymtym
stassats: experimenting with the above, i noticed that compiler-2.pure.lisp / :shift-right-transform-nil-type basically does (assert (= (funcall …))). shouldn't this assert a particular return value instead?
13:18:47
scymtym
do you have an opinion regarding default behavior w.r.t. potentially mapping over multiple optimization settings?
13:25:13
stassats
but we're not checking for assert-error here, so (safety 0) shouldn't change the result
13:28:07
scymtym
yes, this is intended for cases in which the compiled function can be called and the return value checked
13:49:39
scymtym
i put arguments and values on separate lines because i thought that would be easier to parse. did the same for optimizations, but i guess it's not necessary in that case