4.4.2 Trace
traceFull
Function
Structure
Shell.Trace
Type
val traceFull: (string * ('a -> 'b) * ('c -> 'd)) -> unit
Syntax
traceFull (name, f, g) -> ()
Arguments
- name
- A string containing the name of a function to trace.
- f
- Conditions on which to trace.
- g
- Conditions on which to breakpoint.
Values
()
Description
The function traceFull implements conditional tracing and breakpointing. For example, assuming you have defined a factorial function fact, to unconditionally trace the factorial function with no breakpointing type:
traceFull ("fact", fn _ => true, fn _ => false);
To trace the function when the argument is less than 3 type: