Go backward to Error Messages Go up to Top Go forward to Copyout function

Collecting Log

P[[edit A cr moveback cr delete cr quit]]s₀
= ("edit A" cons
    fst(S[[moveback cr delete cr quit]]p₀),
    update([[A]],
        copyout( snd(S[[moveback
        cr delete cr quit]]p₀), s₀))
        where p₀ = copyin(access ( [[A]], s₀)))
= ...
= ("edit A" cons "moveback error:
        at front already"
        cons fst(S[[delete cr quit]]p₀),
    update([[A]],
        copyout(snd(S[[delete cr quit]]p₀))))
= ("edit A moveback error:
        at front already delete quit",
    update([[A]], copyout(p₁), s₀)
    where p₁ = delete(p₀)