Skip to content

switch step

Norbert Preining edited this page Oct 6, 2017 · 2 revisions

step switch

Possible values: on off, default off.

With this switch turned on, rewriting proceeds in steps and prompts the user interactively. At each prompt the following commands can be given to the stepper (with our without leading colon :):

help : (h, ?) print out help page next : (n) go one step continue : (c) continue rewriting without stepping quit : (q) leave stepper continuing rewrite abort : (a) abort rewriting rule : (r) print out current rewrite rule subst : (s) print out substitution limit : (l) print out rewrite limit count pattern : (p) print out stop pattern stop [<term>] . : set (or unset) stop pattern rwt [<number>] . : set (or unset) max number of rewrite

Other standard CafeOBJ commands that can be used are show, describe, dirs, set, cd, ls, pwd, pushd, popd, lisp, lispq, and (on Unix only) !.

Clone this wiki locally