4.4.2 Trace

traceFull

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

unit

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:

traceFull ("fact", fn n => n < 3, fn _ => false);

Generated with Harlequin WebMaker