minor fixes: don;t depent on OCaml's Stdlib, typo

antoinemine · Jul 9, 2023 · c9c3ef4 · c9c3ef4
1 parent ba2d6ac
commit c9c3ef4
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/Changes b/Changes
@@ -18,7 +18,7 @@ Version 0.9.14
 
 - Apple M1 support (#68)
 
-- Fix some corner cases for boxes and polyehdra (#85, #83, #82, #81, #80, #63, #43, #35)
+- Fix some corner cases for boxes and polyhedra (#85, #83, #82, #81, #80, #63, #43, #35)
 
 
 Version 0.9.13

diff --git a/mlapronidl/scalar.idl b/mlapronidl/scalar.idl
@@ -157,8 +157,8 @@ let of_int x = Mpqf(Mpqf.of_int x)\n\
 let of_frac x y = Mpqf(Mpqf.of_frac x y)\n\
 let of_float x = Float(x)\n\
 let of_infty s = \n\
-  if s>0 then Float(Stdlib.infinity)\n\
-  else if s<0 then Float(Stdlib.neg_infinity)\n\
+  if s>0 then Float(infinity)\n\
+  else if s<0 then Float(neg_infinity)\n\
   else Float(0.0)\n\
 let is_infty scalar =\n\
   match scalar with\n\
@@ -175,8 +175,8 @@ let is_infty scalar =\n\
 	if Mpfrf.sgn x > 0 then 1 else -1\n\
       else 0\n\
   | Float x ->\n\
-      if x = Stdlib.infinity then 1\n\
-      else if x = Stdlib.neg_infinity then -1\n\
+      if x = infinity then 1\n\
+      else if x = neg_infinity then -1\n\
       else 0\n\
 let sgn scalar =\n\
   match scalar with\n\
@@ -216,7 +216,7 @@ let cmp_int scalar n =\n\
   match scalar with\n\
   | Mpqf x -> Mpqf.cmp_int x n\n\
   | Mpfrf x -> Mpfrf.cmp_int x n\n\
-  | Float x -> Stdlib.compare x (float_of_int n)\n\
+  | Float x -> compare x (float_of_int n)\n\
 let equal_int scalar n =\n\
   match scalar with\n\
   | Mpqf x -> (Mpqf.cmp_int x n)=0\n\