PreviousUpNext

15.2.60  src/lib/compiler/front/typer/typer.sublib

## typecheck.lib
## (C) 2001 Lucent Technologies, Bell Labs

# Compiled by:
#     src/lib/core/viscomp/typecheck.lib



# Type inference for the Mythryl compiler.



SUBLIBRARY_EXPORTS

        pkg typer_control

        api Basetype_Numbers
        api Debruijn_Index
        api More_Type_Types
        api Type_Package_Language
        api Generics_Expansion_Junk_Parameter
        api Generics_Expansion_Junk
        api Expand_Generic
        api Translate_Raw_Syntax_To_Deep_Syntax
        api Unify_Typoids

        generic macro_generics_expansion_junk_g
        generic expand_generic_g
        generic type_core_language_declaration_g
        generic api_match_g
        generic type_package_language_g
        generic translate_raw_syntax_to_deep_syntax_g

        pkg basetype_numbers
        pkg debruijn_index
        pkg more_type_types
        pkg typer_junk
        pkg special_symbols
        pkg typer_debugging
        pkg unify_typoids

        api Unparse_Junk
        api Latex_Print_Type
        api Prettyprint_Type
        api Prettyprint_Deep_Syntax
        api Unparse_Type
        api Unparse_Deep_Syntax
        api Unparse_Package_Language
        api Latex_Print_Package_Language
        api Latex_Print_Value
        api Unparse_Raw_Syntax
        api Prettyprint_Raw_Syntax
        api Print_Raw_Syntax_Tree_As_Lib7
        api Print_Deep_Syntax_As_Lib7
        api Print_Type_As_Lib7
        api Print_Value_As_Lib7

        api Unparse_Value
        pkg unparse_value

        api Prettyprint_Value
        pkg prettyprint_value

        pkg unparse_junk
        pkg latex_print_type
        pkg prettyprint_type
        pkg prettyprint_deep_syntax
        pkg unparse_type
        pkg unparse_deep_syntax
        pkg unparse_package_language
        pkg latex_print_package_language
        pkg latex_print_value
        pkg prettyprint_raw_syntax
        pkg unparse_raw_syntax
        pkg print_raw_syntax_tree_as_nada
        pkg print_deep_syntax_as_nada
        pkg print_typoid_as_nada
        pkg print_value_as_nada
        pkg print_as_nada_junk



SUBLIBRARY_COMPONENTS

        basics/typer-control.pkg
        basics/debruijn-index.api
        basics/debruijn-index.pkg
        basics/pick-valcon-form.pkg
        basics/basetype-numbers.pkg

        types/more-type-types.api
        types/more-type-types.pkg
        types/eq-types.pkg
        types/unify-typoids.pkg
        types/resolve-overloaded-variables.pkg
        types/resolve-overloaded-literals.pkg
        types/type-core-language-declaration-g.pkg
        modules/expand-type.pkg
        modules/api-match-g.pkg
        modules/generics-expansion-junk-g.pkg
        modules/expand-generic-g.pkg

        main/type-variable-set.pkg
        main/typer-junk.api
        main/typer-junk.pkg
        main/special-symbols.pkg
        main/type-type.api
        main/type-type.pkg
        main/resolve-operator-precedence.pkg
        main/rewrite-raw-syntax-expression.pkg
        main/type-core-language.pkg
        main/include.api
        main/include.pkg
        main/type-api.api
        main/type-api.pkg
        main/typer-debugging.pkg
        main/type-package-language.api
        main/type-package-language-g.pkg
        main/translate-raw-syntax-to-deep-syntax-g.pkg
        main/expand-oop-syntax.api
        main/expand-oop-syntax.pkg
        main/expand-oop-syntax2.api
        main/expand-oop-syntax2.pkg
        main/expand-oop-syntax-junk.pkg
        main/oop-collect-methods-and-fields.api
        main/oop-collect-methods-and-fields.pkg
        main/oop-rewrite-declaration.api
        main/oop-rewrite-declaration.pkg
        main/validate-message-type.api
        main/validate-message-type.pkg

        print/unparse-junk.api
        print/unparse-junk.pkg
        print/unparse-type.pkg
        print/prettyprint-type.pkg
        print/prettyprint-deep-syntax.pkg
        print/latex-print-type.pkg
        print/latex-print-value.pkg
        print/prettyprint-value.pkg
        print/unparse-value.pkg
        print/unparse-deep-syntax.pkg
        print/unparse-package-language.pkg
        print/latex-print-package-language.pkg
        print/prettyprint-raw-syntax.api
        print/prettyprint-raw-syntax.pkg
        print/unparse-raw-syntax.api
        print/unparse-raw-syntax.pkg
        print/print-raw-syntax-as-nada.api
        print/print-raw-syntax-as-nada.pkg
        print/print-as-nada-junk.api
        print/print-as-nada-junk.pkg
        print/print-deep-syntax-as-nada.pkg
        print/print-type-as-nada.pkg
        print/print-value-as-nada.pkg

        $ROOT/src/lib/core/viscomp/typecheckdata.lib
        $ROOT/src/lib/core/viscomp/basics.lib
        $ROOT/src/lib/core/viscomp/parser.lib

        $ROOT/src/lib/compiler/back/low/lib/lowhalf.lib 

        $ROOT/src/lib/global-controls/global-controls.lib

        $ROOT/src/lib/std/standard.lib

        # Auxiliary libraries:
        $ROOT/src/lib/prettyprint/big/prettyprinter.lib


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext