15.4.1066  src/lib/std/src/io/say.pkg

## say.pkg
## author: Matthias Blume (blume@cs.princeton.edu)

# Compiled by:
#     src/lib/std/src/standard-core.sublib

# Output of feedback and diagnostics.



###           "Examine what is said, not who speaks."
###
###                         -- Arabian proverb



api Say {

    say:  List( String ) -> Void;
    dsay: List( String ) -> Void;
    log:  List( String ) -> Void;

    set_name: String     -> Void;
};

package   say
:         Say
{
    server_name =  REF NULL: Ref( Null_Or( String ));
    log_stream  =  REF NULL: Ref( Null_Or( file::Output_Stream ) );

    debug   = TRUE;

    fun set_name name
        =
        {   server_name := THE name;
            #
            log_stream  := THE (file::open_for_write  (name + ".compile.log"));
        };


    fun log stringlist
        =
        case (*server_name, *log_stream)
            #     
             (THE name, THE outstream)
                 =>
                 {   file::write 
                         (
                           outstream, 
                           cat (name ! ": " ! stringlist)
                         );

                     file::flush  outstream;
                 };

             _ => ();
        esac;

    fun say stringlist
        =
        {   print (cat stringlist);
            file::flush  file::stdout;

            log stringlist;
        };



                                                        # makelib_defaults      is from   src/app/makelib/stuff/makelib-defaults.pkg


    fun csay flag stringlist                            # "csay" == "conditional say".
        =
        if flag
            say stringlist;
        fi;

    dsay =   csay  debug;
};