[mercury-users] Printing reasonable floats?

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Sun Feb 11 11:00:55 AEDT 2007

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

When I print my switch, I say:


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?

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

More information about the users mailing list