Re: "with" definedness check

2016-06-06 Thread yary
On Mon, Jun 6, 2016 at 3:47 PM, Brandon Allbery 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.

Re: "with" definedness check

2016-06-06 Thread Brandon Allbery
On Mon, Jun 6, 2016 at 3:45 PM, yary wrote: > On Mon, Jun 6, 2016 at 3:27 PM, Elizabeth Mattijsen > wrote: > > “with” is completely agnostic about what it is working on. It merely > checks for definedness and sets the topicalizer if so. > > Hmm- what's the benefit of with's defined check? Seem

"with" definedness check

2016-06-06 Thread yary
On Mon, Jun 6, 2016 at 3:27 PM, Elizabeth Mattijsen wrote: > “with” is completely agnostic about what it is working on. It merely checks > for definedness and sets the topicalizer if so. Hmm- what's the benefit of with's defined check? Seems like it makes "with" break if used with type objects