test

Author: digama0

src/runtime/object.cpp

@@ -1486,9 +1486,9 @@ extern "C" LEAN_EXPORT double lean_float_scaleb(double a, b_lean_obj_arg b) {
    }
 }
 
-extern "C" LEAN_EXPORT uint8_t lean_float_isnan(double a) { return isnan(a); }
-extern "C" LEAN_EXPORT uint8_t lean_float_isfinite(double a) { return isfinite(a); }
-extern "C" LEAN_EXPORT uint8_t lean_float_isinf(double a) { return isinf(a); }
+extern "C" LEAN_EXPORT uint8_t lean_float_isnan(double a) { return (bool) isnan(a); }
+extern "C" LEAN_EXPORT uint8_t lean_float_isfinite(double a) { return (bool) isfinite(a); }
+extern "C" LEAN_EXPORT uint8_t lean_float_isinf(double a) { return (bool) isinf(a); }
 extern "C" LEAN_EXPORT obj_res lean_float_frexp(double a) {
     object* r = lean_alloc_ctor(0, 2, 0);
     int exp;

tests/compiler/float.lean

@@ -19,10 +19,6 @@ def tst1 : IO Unit := do
   IO.println (0 / 0 : Float).toUInt16
   IO.println (0 / 0 : Float).toUInt32
   IO.println (0 / 0 : Float).toUInt64
-  IO.println (0 / 0 : Float).isNaN
-  IO.println (0 / 0 : Float).isInf
-  IO.println (0 / 0 : Float).isFinite
-  IO.println (0 / 0 : Float).frExp
   IO.println (-1 : Float).toUInt8
   IO.println (256 : Float).toUInt8
   IO.println (1 / 0 : Float).toUInt8