On 2017-11-5 16:47 , Eitan Adler wrote: > On 1 March 2017 at 03:34, Rainer Müller <[email protected]> wrote: >> Sorry, I missed this earlier in the pull request [1], but I would be fine >> with just changing the definition of leaves. The new 'rleaves' makes more >> sense to me. Is there actually a use case for the old 'leaves', where this >> pseudo-port cannot be replaced with 'rleaves'? > > I sometimes abused the old leaves as a debugging tool when I needed to > clear away some development ports, but not everything. That said, in > almost every other use case I wanted the rleaves behavior.
It's a longer list to go through if you're checking for ports you actually want to mark as requested. Also the name "leaves" doesn't really make sense with the new behaviour since it can list a lot of ports that are not leaf nodes on the dependency graph. - Josh
