Mercurial > urweb

comparison src/prim.sml @ 1468:4d04cb89649b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper C pretty-printing of floats in scientific notation
author Adam Chlipala <adam@chlipala.net>
date Tue, 31 May 2011 07:44:52 -0400
parents fd1a49b51db5
children 3e7c7e200713
comparison
equal deleted inserted replaced
1467:8fce85939259 1468:4d04cb89649b
53 if Int64.compare (n, Int64.fromInt 0) = LESS then 53 if Int64.compare (n, Int64.fromInt 0) = LESS then
54 "-" ^ Int64.toString (Int64.~ n) 54 "-" ^ Int64.toString (Int64.~ n)
55 else 55 else
56 Int64.toString n 56 Int64.toString n
57 57
58 fun float2s n = 58 val float2s = String.translate (fn #"~" => "-" | ch => str ch) o Real64.toString
59 if Real64.compare (n, Real64.fromInt 0) = LESS then
60 "-" ^ Real64.toString (Real64.~ n)
61 else
62 Real64.toString n
63 59
64 fun toString t = 60 fun toString t =
65 case t of 61 case t of
66 Int n => int2s' n 62 Int n => int2s' n
67 | Float n => float2s n 63 | Float n => float2s n