exit -- r7rs Definition

§

Kind

§

procedure;

Implemented by

§

• exit (from vonuvoli);

Procedure signature

§

Procedure variants:

• (() -> (halt))
  • inputs: none;
  • output: a value of type halt;
• ((true) -> (halt))
  • input: a value of type true;
  • output: a value of type halt;
• ((false) -> (halt))
  • input: a value of type false;
  • output: a value of type halt;
• ((any) -> (halt))
  • input: a value of type any;
  • output: a value of type halt;

Exports

§

• scheme:process-context -- (scheme process-context);

Exports recursive

§

• scheme -- (scheme);

Description

§

(exit)
(exit obj)

Runs all outstanding dynamic-wind after procedures, terminates the running program, and communicates an exit value to the operating system. If no argument is supplied, or if obj is #t, the exit procedure should communicate to the operating system that the program exited normally. If obj is #f, the exit procedure should communicate to the operating system that the program exited abnormally. Otherwise, exit should translate obj into an appropriate exit value for the operating system, if possible.

The exit procedure must not signal an exception or return to its continuation.

Note: Because of the requirement to run handlers, this procedure is not just the operating system's exit procedure.

---

The text herein was sourced and adapted as described in the "R7RS attribution of various text snippets" appendix.

Referenced-types

§

• halt;
• true;
• false;
• any;