Previous: Command prompt expansion, Up: Faces
When a face is done, it should call thud-exit.
On errors, it should call scm-error with key thud-error
and message-format and args set up appropriately.
[The exception model is not yet stable. Please check back here for news.]