模組 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

在多個地方需要用到的一些 pass 名稱，共享以避免拼寫錯誤。

val generate : string

val transl : string

val typing : string