recall ( r p -- memo-entry )

Vocabulary

peg.private

Inputs

r	an object
p	an object

Outputs

memo-entry

an object

Definition

USING: accessors assocs kernel peg sequences ;

IN: peg.private

:: recall ( r p -- memo-entry )
    p r rule-id memo :> m p heads at :> h h [
        m r rule-id h involved-set>> h rule-id>> suffix member?
        not and
        [ fail p memo-entry boa ] [
            r rule-id h eval-set>> member? [
                h [ r rule-id swap remove ] change-eval-set drop
                r eval-rule m update-m m
            ] [ m ] if
        ] if
    ] [ m ] if ; inline