模块 Profile

module Profile: sig .. end

编译器性能记录

警告：此模块不稳定，并且是 compiler-libs 的一部分。

type file = string

val reset : unit -> unit

清除所有已记录的性能分析信息

val record_call : ?accumulate:bool -> string -> (unit -> 'a) -> 'a

record_call pass f 调用 f 并记录其性能分析信息。

val record : ?accumulate:bool -> string -> ('a -> 'b) -> 'a -> 'b

record pass f arg 记录 f arg 的性能分析信息

type column = [ `Abs_top_heap | `Alloc | `Time | `Top_heap ]

val print : Format.formatter -> column list -> unit

将选定的已记录性能分析信息打印到格式化程序。

命令行标志

val options_doc : string

val all_columns : column list

一些在多个地方需要的传递名称，为了避免拼写错误而共享。

val generate : string

val transl : string

val typing : string