On Mon, Jun 6, 2016 at 3:47 PM, Brandon Allbery <allber...@gmail.com> wrote: > But for that there is "given". I thought the whole point of "with" vs. > "given" was the definedness check.
Ah yes, and that's a great feature. I forgot that "with" skips over the block when the topic is undefined, and that is very useful. I just had some not-great examples in my REPL, and had forgotten it. -y