Hi Anton, > This sparks an idea for new syntax for me. How about: > > find/::case/::skip a b size > > That way you can pick and choose which refinements will be > propagated and which are hard-coded. eg: > > find/::case/skip a b size > > This means: > /case is propagated if case is true > /skip is always specified
Interesting, but this should require a new word datatype double-get-word!. --- Ciao Romano -- To unsubscribe from this list, just send an email to [EMAIL PROTECTED] with unsubscribe as the subject.
