15.4.839  src/lib/prettyprint/big/src/plain-file-prettyprinter-avoiding-pointless-file-rewrites.pkg

## plain-file-prettyprinter-avoiding-pointless-file-rewrites.pkg
#
# A pretty printer with plain-text output to a file.
# There are no styles -- Traitful_Text is just String.

# Compiled by:
#     src/lib/prettyprint/big/prettyprinter.lib

stipulate
    package fil =  file__premicrothread;                                                                        # file__premicrothread                          is from   src/lib/std/src/posix/file--premicrothread.pkg
    package out =  plain_file_prettyprint_output_stream_avoiding_pointless_file_rewrites;                       # plain_file_prettyprint_output_stream_avoiding_pointless_file_rewrites is from   src/lib/prettyprint/big/src/out/plain-file-prettyprint-output-stream-avoiding-pointless-file-rewrites.pkg
herein

    package plain_file_prettyprinter_avoiding_pointless_file_rewrites
    : (weak)        api {
                            include api Base_Prettyprinter                                                      # Base_Prettyprinter                    is from   src/lib/prettyprint/big/src/base-prettyprinter.api
                                        where
                                            Traitful_Text == String;

                            make_plain_file_prettyprinter_avoiding_pointless_file_rewrites
                              :
                              out::Prettyprint_Output_Stream    
                              -> Prettyprinter;
                        }
    {
        package pp
            =
            base_prettyprinter_g (                                                                              # base_prettyprinter_g                  is from   src/lib/prettyprint/big/src/base-prettyprinter-g.pkg
                #
                package tt  =  traitless_text;                                                                  # traitless_text                                is from   src/lib/prettyprint/big/src/traitless-text.pkg
                package out =  out;
            );

        include package   pp;

        fun make_plain_file_prettyprinter_avoiding_pointless_file_rewrites   output_stream
            =
            pp::make_prettyprinter  output_stream  [];
    };
end;


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