[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