Re: "with" definedness check

2016-06-06 Thread yary
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&qu

Re: "with" definedness check

2016-06-06 Thread Brandon Allbery
izer if so. > > Hmm- what's the benefit of with's defined check? Seems like it makes > "with" break if used with type objects. > But for that there is "given". I thought the whole point of "with" vs. "given" was the definedness check. -- bran