PreviousUpNext

15.3.15  src/app/makelib/mythryl-compiler-compiler/process-mythryl-primordial-library.api

## process-mythryl-primordial-library.pkg
## (C) 1999 Lucent Technologies, Bell Laboratories
## Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)

# Compiled by:
#     src/app/makelib/makelib.sublib



# This api is implemented in:
#     src/app/makelib/mythryl-compiler-compiler/process-mythryl-primordial-library.pkg

stipulate
    package ad  =  anchor_dictionary;                                                   # anchor_dictionary                     is from   src/app/makelib/paths/anchor-dictionary.pkg
    package ms  =  makelib_state;                                                       # makelib_state                         is from   src/app/makelib/main/makelib-state.pkg
    package sci =  sourcecode_info;                                                     # sourcecode_info                       is from   src/lib/compiler/front/basics/source/sourcecode-info.pkg
    package sg  =  intra_library_dependency_graph;                                      # intra_library_dependency_graph        is from   src/app/makelib/depend/intra-library-dependency-graph.pkg
herein

    api Process_Mythryl_Primordial_Library {
        #
        process_mythryl_primordial_library
            :
            ms::Makelib_State
            ->
            ad::File                    # src/lib/core/init/init.cmi
            ->
            Null_Or
                { pervasive:          sg::Tome_Tin,
                  others:       List( sg::Tome_Tin ),
                  source_code:  sci::Sourcecode_Info
                };
    };
end;



Comments and suggestions to: bugs@mythryl.org

PreviousUpNext