Next Previous Up Top Contents Index

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:

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

MLWorks Reference Manual version 2.0 - 29 Jul 1998

Next Previous Up Top Contents Index

Generated with Harlequin WebMaker