balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[bugfix in data_encoding] When writing a float (to binary format), MBytes.set_double should be used instead of MBytes.set_float (Float _ encodes doubles in the encoding, not singles)

Browse Source
This commit is contained in:
OCamlPro-Iguernlala 2017-03-29 18:32:46 +02:00
parent f96fbe7d31
commit dc32decd05
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/minutils/data_encoding.ml
View File

@ -876,8 +876,10 @@ let rec length : type x. x t -> x -> int = fun e ->
MBytes.set_int64 buf ofs v; MBytes.set_int64 buf ofs v;
ofs + Size.int64 ofs + Size.int64
(** write a float64 (double) **)
let float v buf ofs = let float v buf ofs =
MBytes.set_float buf ofs v; (*Here, float means float64, which is written using MBytes.set_double !!*)
MBytes.set_double buf ofs v;
ofs + Size.float ofs + Size.float
let fixed_kind_bytes length s buf ofs = let fixed_kind_bytes length s buf ofs =
@ -1035,7 +1037,7 @@ let rec length : type x. x t -> x -> int = fun e ->
(** read a float64 (double) **) (** read a float64 (double) **)
let float buf ofs _len = let float buf ofs _len =
(* Here, float means float64, which is read using MBytes.get_double !! *) (*Here, float means float64, which is read using MBytes.get_double !!*)
ofs + Size.float, MBytes.get_double buf ofs ofs + Size.float, MBytes.get_double buf ofs
let int_of_int32 i = let int_of_int32 i =