15.4.581  src/lib/compiler/front/semantic/modules/generics-expansion-junk-parameter.pkg

## generics-expansion-junk-parameter.pkg
## (C) 2001 Lucent Technologies, Bell Labs

# Compiled by:
#     src/lib/compiler/core.sublib



# Lib7-specific instantiation of Generics_Expansion_Junk_Parameter.



###               ``When you say: "I wrote a program that crashed Windows",
###                 people just stare at you blankly and say:
###                 "Hey, I got those with the system -- for free." ''
###
###                                        -- Linus Torvalds



stipulate
    package hcf =  highcode_form;                               # highcode_form                         is from   src/lib/compiler/back/top/highcode/highcode-form.pkg
    package hut =  highcode_uniq_types;                         # highcode_uniq_types                   is from   src/lib/compiler/back/top/highcode/highcode-uniq-types.pkg
    package ij  =  inlining_junk;                               # inlining_junk                         is from   src/lib/compiler/front/semantic/basics/inlining-junk.pkg
    package ppl =  package_property_lists;                      # package_property_lists                is from   src/lib/compiler/front/semantic/modules/package-property-lists.pkg
herein

    package   generics_expansion_junk_parameter
    : (weak)  Generics_Expansion_Junk_Parameter                 # Generics_Expansion_Junk_Parameter     is from   src/lib/compiler/front/typer/modules/generics-expansion-junk-g.pkg
    {
        Highcode_Kind =  hut::Uniqkind;

        make_n_arg_typ_fun_uniqkind =  hcf::make_n_arg_typ_fun_uniqkind;
        make_kindfun_uniqkind =  hcf::make_kindfun_uniqkind;
        make_kindseq_uniqkind =  hcf::make_kindseq_uniqkind;

        api_bound_generic_evaluation_paths     =  ppl::api_bound_generic_evaluation_paths;
        set_api_bound_generic_evaluation_paths =  ppl::set_api_bound_generic_evaluation_paths;

                                                                    # typevar_info              is from   src/lib/compiler/front/semantic/types/typevar-info.pkg

        tvi_exception =  typevar_info::to_exception;

        fun inlining_info_to_my_type  inlining_data
            =
            ij::case_inlining_data  inlining_data
              {
                do_inline_baseop  =>   fn (_, t) =  THE t,
                do_inline_package =>   fn _      =  NULL,
                do_inline_nothing =>   fn ()     =  NULL
              };
    };
end;