15.4.832  src/lib/prettyprint/big/devices/textio-pp.pkg

## textio-pp.pkg

# Compiled by:
#     src/lib/prettyprint/big/devices/prettyprint-devices.sublib

# A pretty printer with file output; there are no styles and
# tokens are atoms.

stipulate
    package fil =  file__premicrothread;                        # file__premicrothread  is from   src/lib/std/src/posix/file--premicrothread.pkg
herein

    package text_iopp: (weak)       api {
                                        include Prettyprint_Stream                              # Prettyprint_Stream            is from   src/lib/prettyprint/big/src/prettyprint-stream.api
                                        where
                                            Token == String;

                                         open:  { dst:  fil::Output_Stream, wid:  Int } -> Stream;
                                    }
    {
        package pp
            =
            prettyprint_stream_g (
                #
                package token  =  string_token;                 # string_token                  is from   src/lib/prettyprint/big/devices/string-token.pkg
                package device =  simple_text_io_device;        # simple_text_io_device         is from   src/lib/prettyprint/big/devices/simple-textio-dev.pkg
            );

        include pp;

        fun open   arg
            =
            open_stream (simple_text_io_device::open_device arg);

    };
end;


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