checkpoint ( quot -- quot' )

Vocabulary

backtrack

Inputs

quot

an object

Outputs

quot'

an object

Definition

USING: continuations namespaces ;

IN: backtrack

MACRO: checkpoint ( quot -- quot' )
    '[
        failure get _
        '[ '[ failure set _ continue ] callcc0 _ failure set @ ]
        callcc0
    ] ;