cozo icon indicating copy to clipboard operation
cozo copied to clipboard

numerically equal float and int display as the same in REPL

Open iacore opened this issue 1 year ago • 1 comments

In cozo repl, write

=> ?[] <- [[1], [1.0]]
 _0 
----
 1 
 1 

It looks like two identical rows but it's not.

To avoid this confusion, maybe it's better to always display floats with a dot, like 1. or 1.0, given that other data types are visually distinct to each other.

iacore avatar Feb 11 '24 14:02 iacore

yes I have noticed this as well

creatorrr avatar Apr 30 '24 06:04 creatorrr