3.4.9 Profile structure values
make_manner
Function
Summary
Creates a profiling manner.
Signature
MLWORKS.Profile
Structure
MLWorks.Profile
Type
val make_manner : {time : bool, space : bool, calls : bool, copies : bool, depth : int, breakdown : object_kind list} -> manner
Syntax
make_manner manner_spec -> manner
Description
Creates a profiling manner.
time- If
true, return time-profiling data. space- If
true, return space-profiling data. calls- If
true, return function-call-counting data copies- If
true, record the number of garbage-collector copies per generation in any space profile. depth- An integer specifying the call-depth to which callers should be recorded in multi-level time profiling. See the note on multi-level time profiling in Section 3.4.6 on page 27.
breakdown- A list of the kinds of MLWorks runtime object to break down in any space profile. Of the total amount of space allocated by a function, breakdowns show how much of that space was taken by a certain kind of object. See
object_kind, page 41.