PreviousUpNext

15.4.1078  src/lib/std/src/io/winix-base-data-file-io-driver-for-posix.pkg

## winix-base-data-file-io-driver-for-posix.pkg
#
# See also:
#
#     src/lib/std/src/io/winix-base-text-file-io-driver-for-posix.pkg
#     src/lib/std/src/io/winix-base-text-file-io-driver-for-posix--premicrothread.pkg

# Compiled by:
#     src/lib/std/standard.lib


stipulate
    package b1u =  one_byte_unt;                                                                # one_byte_unt                                          is from   src/lib/std/one-byte-unt.pkg
    package pos =  file_position;                                                               # file_position                                         is from   src/lib/std/file-position.pkg
herein

    # This package gets used in:
    #
    #     src/lib/std/src/io/winix-data-file-for-os-g.pkg
    #     src/lib/std/src/posix/winix-data-file-io-driver-for-posix.pkg
    #                           
    package winix_base_data_file_io_driver_for_posix

    # : (weak)  Winix_Base_File_Io_Driver_For_Os                                                # Winix_Base_File_Io_Driver_For_Os                      is from   src/lib/std/src/io/winix-base-file-io-driver-for-os.api

        =
        winix_base_file_io_driver_for_posix_g (                                                 # winix_base_file_io_driver_for_posix_g                 is from   src/lib/std/src/io/winix-base-file-io-driver-for-posix-g.pkg

            package rv  =     vector_of_one_byte_unts;                                          #    vector_of_one_byte_unts                            is from   src/lib/std/src/vector-of-one-byte-unts.pkg
            package wv  =  rw_vector_of_one_byte_unts;                                          # rw_vector_of_one_byte_unts                            is from   src/lib/std/src/rw-vector-of-one-byte-unts.pkg
            package rvs =     vector_slice_of_one_byte_unts;                                    #    vector_slice_of_one_byte_unts                      is from   src/lib/std/src/vector-slice-of-one-byte-unts.pkg
            package wvs =  rw_vector_slice_of_one_byte_unts;                                    # rw_vector_slice_of_one_byte_unts                      is from   src/lib/std/src/rw-vector-slice-of-one-byte-unts.pkg

            some_element  = (0u0:  b1u::Unt);
            File_Position =  pos::Int;
            compare       =  pos::compare;
        );
end;


## COPYRIGHT (c) 1995 AT&T Bell Laboratories.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2013,
## released per terms of SMLNJ-COPYRIGHT.


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext