[m-rev.] ssdb minor modifications

[Peter Wang]

On 2007-12-17, Zoltan Somogyi <zs at csse.unimelb.edu.au> wrote:
> On 17-Dec-2007, Peter Wang <novalazy at gmail.com> wrote:
> > The pretty_printer'd terms would always appear after io.write_string
> > output in the ssdb 'p' command.  Something like this:
> > 
> > 	Var1	=
> > 	Var2	=
> > 	Var3	=
> > 	<term for Var1>
> > 	<term for Var2>
> > 	<term for Var3>
> > 
> > whereas it should be:
> > 
> > 	Var1	=   <term for Var1>
> > 	etc.
> 
> Did you fflush after printing the variable name?

Yes, I tried io.flush_output in various places to no avail.

Peter

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------