pub fn set_formal(
m: &mut Machine,
formal: Word,
context: &str,
uncatchable: bool,
)Expand description
Build error(Formal, 'Context'), snapshot it, and set m.error.
The formal term is built on the heap transiently and trimmed back.