]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 923ca34) | patch
oceani: use more precision when printing numbers
authorNeilBrown <neil@brown.name>
Fri, 3 Dec 2021 07:58:43 +0000 (18:58 +1100)
committerNeilBrown <neil@brown.name>
Fri, 3 Dec 2021 08:14:44 +0000 (19:14 +1100)
commit1633bb8942f3f573322a48f49e0e0dec96352d01
tree1f9865eb7f2910434f19007c360cac8d330fc6c1tree | snapshot
parent923ca343c74104bfa366b6d3adc09b14e11cadfacommit | diff
oceani: use more precision when printing numbers

I really want constants to be reproduced accurately when printing a
program.
Maybe I should detect and store the precision used, but for now, just
use a larger precision.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani-tests.mdc diff | blob | history
csrc/oceani.mdc diff | blob | history
The Ocean Language Project