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.


Reply via email to