freenode/#shirakumo - IRC Chatlog
Search
20:24:25
|3b|
Shinmera: yeah, switched to (true (< ...)), but then i lose the part where it tells me what the failing values were
20:27:59
|3b|
i guess TRUE could try to disassemble the form like SBCL's assert macro does, though TRUE with an extra () is still more verbose than just IS
20:32:07
|3b|
ACTION reads IS as "Is <binary predicate> true for <2 values>", probably mostly due to the predicate being there
20:32:53
|3b|
if it were (IS value form &key (test eql)) or similar, i'd be more likely read it the way you do, though possibly i'd still argue the order :)
20:34:34
|3b|
and in addition to the "assert a relation" use there is the "test against an alternate implementation that might be broken but hopefully in different ways" use, where treating them symmetrically would be preferable
20:35:29
|3b|
(and let me know if i'm being too annoying about this stuff, parachute is still plenty usable already :)
20:36:45
|3b|
yeah, random testing might require that, depending on whether you can generate problems from answers
20:38:33
Shinmera
it would then randomly generate forms from the grammar and check the invariants at every step