15.2.55  src/lib/compiler/debugging-and-profiling/debugprof.sublib

## debugprof.sublib
## (C) 2001 Lucent Technologies, Bell Labs

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

## Debugging and profiling instrumentation phases.

SUBLIBRARY_EXPORTS

        api Profiling_Control

        pkg write_time_profiling_report
        pkg add_per_fun_call_counters_to_deep_syntax
        pkg add_per_fun_byte_counters_to_deep_syntax
        pkg tdp_instrument

        generic profiling_control_g
        generic profiling_dictionary_g



SUBLIBRARY_COMPONENTS

        profiling/profiling-dictionary.api
        profiling/profiling-dictionary-g.pkg
        profiling/profiling-control-g.pkg
        profiling/profiling-control.api
        profiling/write-time-profiling-report.pkg
        profiling/tell-env.pkg
        profiling/add-per-fun-byte-counters-to-deep-syntax.pkg
        profiling/add-per-fun-call-counters-to-deep-syntax.pkg
        profiling/tdp-instrument.pkg

        types/reconstruct-expression-type.pkg

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

        $ROOT/src/lib/core/init/init.cmi : cm

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

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