(fix) toString in REPL for floats without number after decimal point

Signed-off-by: Jerome Simeon <[email protected]>
accordproject · Mar 19, 2019 · 5030e95 · 5030e95
1 parent 4b97cdf
commit 5030e95
Show file tree

Hide file tree

Showing 4 changed files with 7,540 additions and 7,508 deletions.
diff --git a/extraction/src/Util.ml b/extraction/src/Util.ml
@@ -115,6 +115,11 @@ let qcert_string_of_float f =
     if (float_of_string ocaml_string1 = float_of_string ocaml_string2)
     then ocaml_string2 else ocaml_string1
   in
+  let ocaml_string =
+    match String.index_opt ocaml_string '.', String.index_opt ocaml_string 'e' with
+    | None, None -> ocaml_string ^ "."
+    | _, _ -> ocaml_string
+  in
   let last_char = ocaml_string.[(String.length ocaml_string)-1] in
   begin match last_char with
   | '.' -> ocaml_string ^ "0"

diff --git a/packages/ergo-cli/extracted/ergoccore.js b/packages/ergo-cli/extracted/ergoccore.js
diff --git a/packages/ergo-cli/extracted/ergotopcore.js b/packages/ergo-cli/extracted/ergotopcore.js
diff --git a/packages/ergo-compiler/extracted/compilercore.js b/packages/ergo-compiler/extracted/compilercore.js