PreviousUpNext

15.4.591  src/lib/compiler/front/semantic/typecheck/type-package-language.pkg

## type-package-language.pkg
## (C) 2001 Lucent Technologies, Bell Labs

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



# Mythryl-specific instantiation of the type_package_language generic.



###                  Perfection is achieved
###                  not when there is nothing left to add,
###                  but when there is nothing left to remove.
###
###                        -- Antoine de Saint-Exupery



package type_package_language
    =
    type_package_language_g (                           # type_package_language_g               is from   src/lib/compiler/front/typer/main/type-package-language-g.pkg
        #
        package api_match
              = api_match;                              # api_match                             is from   src/lib/compiler/front/semantic/modules/api-match.pkg

        package unify_and_generalize_types
              = unify_and_generalize_types;             # unify_and_generalize_types            is from   src/lib/compiler/front/semantic/types/unify-and-generalize-types.pkg
    );


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext