nah, i think it would only pause that level of the tree

like if you did (s/and a? b? unspeced c? d?)

then you would check a and b, then issue a warning, but not even bother with c or d

in theory it shouldn’t affect the context at all tho

for checking… but for gen?

ah, hmm

yeah, i think it would annihilate specs until an or higher up in the context

yeah

which matches my intuition for cut

or continuations in general

ie skip is “throw” and every or has a catch

thats what I was getting at before

gotcha

anyway - this is a neat idea that i have no time to investigate implementing 😉

thanks for the discussion tho!

also wonder if it’s kinda like choose

choose?

pretty sure it was called choose… will need to dig out my ansi common lisp

ok just dug it out - it’s in “On Lisp - Advanced Techniques for Common Lisp"

it’s basically just an operator in common lisp for doing this kinda thing - choose and fail

anyway it’s not really helpful