libera/#commonlisp - IRC Chatlog

21:04:17 Shinmera jmes: I don't like pulling in ASDF as a dependency in my sources, so I instead do something like this: https://github.com/Shirakumo/cl-vorbis/blob/master/low-level.lisp#L9-L10

21:21:59 paule32 hello

22:45:29 X-Scale` ** NICK X-Scale

23:57:17 Guest74 is it me you're looking for?

0:27:35 Bike70 ** NICK Bicyclidine

0:37:14 paule32_ ** NICK paule32

0:41:48 Lord_of_Life_ ** NICK Lord_of_Life

1:36:25 taiju` ** NICK taiju

3:03:28 beach Good morning everyone!

3:21:59 mfiano Hey all. Can I get a second pair of eyes? I've been at this too long today to figure out if this COND is exhaustive or not: https://gist.github.com/mfiano/9f9e755a51db046dd12b1fa156a5ceab

3:23:31 beach Why do you test for TARGET-SNAPSHOTS being true in the second and third clauses?

3:23:55 mfiano Indeed it is not needed, but it was to clarify my thinking

3:24:21 beach But now you are asking others to read it.

3:25:07 mfiano It should still be readable, just with more context as to not backtrack your eyes. Can you not filter that out, or pass it to someone else?

3:26:10 beach Sure.

3:27:21 White_Flame looks exhaustive to me?

3:27:27 mfiano Thanks for rubber ducking. It is wrong

3:27:39 White_Flame fills the truth table

3:27:52 mfiano the second case can be an error. The annotated types are wrong. base-snapshot can be string|null

3:28:42 White_Flame true

3:28:57 White_Flame (and base-snapshot (string= base-snapshot ...))

3:29:26 mfiano Right. Thanks again :)

3:30:04 White_Flame however I would put the string= test within the last body

3:30:29 White_Flame depending on how you view this and if reordering that has any ill (side) effects

3:30:44 mfiano I think it might

3:33:18 mfiano Edited

3:35:04 White_Flame https://plaster.tymoon.eu/view/3180#3180

3:35:29 mfiano and again to remove the AND now with this reordering, to please beach and the others reading the code.

3:36:04 White_Flame afk

5:36:22 opc0de ** NICK opcode