Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Fixes for issues #47, #48, and #49 #65

merged 1 commit into from Oct 1, 2011


None yet
2 participants

josharnold52 commented Oct 1, 2011

This patch makes deep selection return results in depth-first order. It also adds the \\! and select operators.

Note that this code is not dependent on pull request #63 and can be applied directly to zipper-replacement. I will merge these changes separately into my branch for #63.

Made deep selection return results in depth-first order. Added short-…
…circuit deep-select and plain old select operators

@djspiewak djspiewak merged commit fd6c7f0 into djspiewak:zipper-replacement Oct 1, 2011


djspiewak commented Oct 1, 2011

Merged; thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment