[ fail ] unless ;\r
\r
MACRO: checkpoint ( quot -- quot' )\r
- '[ failure get ,\r
- '[ '[ failure set , continue ] callcc0\r
- , failure set @ ] callcc0 ] ;\r
+ '[ failure get _\r
+ '[ '[ failure set _ continue ] callcc0\r
+ _ failure set @ ] callcc0 ] ;\r
\r
: number-from ( from -- from+n )\r
[ 1 + number-from ] checkpoint ;\r
dup length 1 =\r
[ first 1quotation ]\r
[ [ first ] [ rest ] bi\r
- '[ , [ drop , unsafe-amb ] checkpoint ] ] if ;\r
+ '[ _ [ drop _ unsafe-amb ] checkpoint ] ] if ;\r
\r
PRIVATE> \r
\r
\r
MACRO: amb-execute ( seq -- quot )\r
[ length 1 - ] [ <enum> [ 1quotation ] assoc-map ] bi\r
- '[ , 0 unsafe-number-from-to nip , case ] ;\r
+ '[ _ 0 unsafe-number-from-to nip _ case ] ;\r
\r
: if-amb ( true false -- )\r
[\r