## read-eval-print-loop.api
# Compiled by:
# src/lib/compiler/core.sublib### "The price of reliability is the pursuit of the utmost simplicity.
### It is a price which the very rich find most hard to pay."
###
### -- E.W. Dijkstra
api Read_Eval_Print_Loop {
#
exception CONTROL_C_SIGNAL;
read_eval_print_from_script
:
String -> Void; # 'String' is "<stdin>" else filename for script.
read_eval_print_from_user
:
Void -> Void;
read_eval_print_from_stream
:
( String,
file::Input_Stream
)
->
Void;
with_error_handling
:
{ treat_as_user: Bool } # TRUE means to treat all exceptionns like usercode exceptions.
->
{ thunk: Void -> Void,
flush: Void -> Void,
fate: Exception -> Void
}
->
Void;
};
## Copyright 1996 by Bell Laboratories
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2012,
## released under Gnu Public Licence version 3.