PreviousUpNext

15.4.724  src/lib/core/init/print-hook-guts.pkg

## print-hook-guts.pkg
#
# See also:
#     src/lib/std/src/nj/print-hook.pkg
#     src/lib/core/init/pervasive.pkg

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

package print_hook_guts {

    stipulate
        # To have something to initialize print_hook with:
        #
        fun discard (s: base_types::String) = ();

    herein
        print_hook = base_types::REF discard;           # Very crude and temporary.     The initial default value is   print()  from    src/lib/std/src/io/winix-text-file-for-os-g--premicrothread.pkg
                                                        #                               which gets set in                               src/lib/std/src/nj/print-hook.pkg
                                                        #                               The concurrent equivalent is   print()  from    src/lib/std/src/io/winix-text-file-for-os
        fun print s
            =
            (inline_t::deref) print_hook s;
    end;
};



#  (C) 1999 Lucent Technologies, Bell Laboratories 
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext