15.4.729  src/lib/core/init/read-eval-print-hook.pkg

#  (C) 1999 Lucent Technologies, Bell Laboratories 

# Compiled by:
#     src/lib/core/init/init.cmi



# This facility allows clients to
# redirect the main read-eval-print
# interaction loop to read from
# something other than the default
# (stdin):



###                          "Only he who has seen better days
###                           and lives to see better days again
###                           knows their full value."
###
###                                           -- Mark Twain
###                                              Notebook, 1902


package read_eval_print_hook {

    stipulate
        fun dummy (s: base_types::String)
            =
            ();
    herein
        read_eval_print_hook = base_types::REF dummy;

        fun run stream
            =
            (inline_t::deref) read_eval_print_hook stream;
    end;
};