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

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Aug 24 00:18:49 AEST 2006

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.)

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

More information about the users mailing list