[m-dev.] for review: use browser to print DD output
Zoltan Somogyi
zs at cs.mu.OZ.AU
Thu Aug 17 17:14:33 AEST 2000
On 17-Aug-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > +my_append
> > + [1, 2, 3]
> > + [7, 8, 9]
> > + [1, 2, 3, 7, 8, 9]
>
> I think it would be nicer if that was printed with the
> proper parentheses and commas:
>
> my_append(
> [1, 2, 3],
> [7, 8, 9],
> [1, 2, 3, 7, 8, 9]
> )
Actually, I think Mark's original output format is better: it uses limited
screen real estate for data, not punctuation, and does not lose any meaningful
information. So Mark, if you adopt Fergus's suggestion, make it optional.
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
--------------------------------------------------------------------------
More information about the developers
mailing list