[m-dev.] Contribution: Pretty Printing Library

[Zoltan Somogyi]

On 12-Apr-2000, Ralph Becket <rbeck at microsoft.com> wrote:
> The question is what semantics do we want for nested string `nest's?
> Should we have
> 
> nest("my ", nest("label: ", Doc)) = nest("my label: ", Doc)
> 
> or
> 
> nest("my ", nest("label: ", Doc)) = nest("label: ", Doc)
> 
> ?

One possible idea is to have two kinds of nests: those which add to previous
nest strings and those which override them. If "nest" means the former and
"override_nest" means the latter, then

nest("my ", nest("label: ", Doc)) = nest("my label: ", Doc)

and

nest("my ", override_nest("label: ", Doc)) = nest("label: ", Doc)

This ought not to be too hard to implement, although a name better than
"override_nest" would be desirable.

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