[mercury-users] Printing reasonable floats?

[doug.auclair at logicaltypes.com]

Is there a way to control the runtime representation of (nested) floats that
write displays?

When I print my switch, I say:

print(Switch)

where Switch is switch(list(float), float)

but I lose much of the meaning because I am buried in too much
significance of each float, as I only need to see the first digit past
the decimal point (not the 15 digits past the decimal point, as is 
the default).  Is it possible to set some value in the io state to 
control how float is printed?

Sincerely,
Doug Auclair

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