[mercury-users] Controlling the depth of term printing in 'mdb'

[Julien Fischer]

On Wed, 23 Aug 2006, Nicholas Nethercote wrote:

> Hi,
>
> I'm using mdb.  I want to change the depth of term printing when printing 
> things with 'print'.  Section 7.9.4 of the user's manual says, under the docs 
> for 'print':
>
>  Various settings which affect the way that terms are printed out
>  (including e.g. the maximum term depth) can be set using the set command.
>
> but I can't find docs for the 'set' command and the debugger doesn't seem to 
> think it exists.
>
> How do I change this?
>

The command is now `format_param depth <n>' - see help format_param for
details.  (It looks like that bit of the user's guide needs updating.)

Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------