[m-dev.] What's the status of the print cmd in mdb?

[Ralph Becket]

>From Fergus Henderson on 12/10/2000 03:49:52
> On 11-Oct-2000, Ralph Becket <rbeck at microsoft.com> wrote:
> > Towards the end of August there was discussion of extensions to
> > mdb's top-level print command, which seemed to come to a universally
> > agreeable conclusion.  Did anyone get round to implementing it all?
> 
> Which extensions did you have in mind?

Here's a pointer to the last part of the discussion I could find:
http://www.cs.mu.oz.au/research/mercury/mailing-lists/mercury-developers/mer
cury-developers.0009/0007.html

> > For that matter, why does `print' sometimes show lists in [1, 2, 3]
> > form and sometimes in .(1, .(2, .(3, [])))?  Most odd.
> 
> If the term is small enough, it just uses `io__write', which uses
> list notation.  But if the term exceeds a certain size, it can't
> use `io__write', since `io__write' doesn't have any depth limit;
> instead it uses the term browser's print routine, which does have
> a depth limit but which doesn't use list notation.

Aha!  This parameter doesn't seem to be settable, which is a shame.

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------