Add absf to float.mc

miking-lang · Apr 6, 2024 · 26d201f · 26d201f
1 parent 98a23e2
commit 26d201f
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 4 deletions.
diff --git a/stdlib/float.mc b/stdlib/float.mc
@@ -27,3 +27,13 @@ utest maxf 1. 0. with 1.
 utest maxf 0. 1. with 1.
 utest isNaN (maxf nan 0.) with true
 utest isNaN (maxf 0. nan) with true
+
+
+-- `absf a` returns the absolute value of `a` or `nan` if `a` is `nan`.
+let absf: Float -> Float = lam f. maxf f (negf f)
+
+utest absf 0. with 0. using eqf
+utest absf 1. with 1. using eqf
+utest absf -1. with 1. using eqf
+utest absf -0. with 0. using eqf
+utest isNaN (absf nan) with true
diff --git a/stdlib/math.mc b/stdlib/math.mc
@@ -8,10 +8,6 @@ utest minf 0. 0. with 0. using eqf
 utest minf 1. 0. with 0. using eqf
 utest minf 0. 1. with 0. using eqf
 
-utest absf 0. with 0. using eqf
-utest absf 1. with 1. using eqf
-utest absf (negf 1.) with 1. using eqf
-
 let cmpfApprox : Float -> Float -> Float -> Int =
   lam epsilon. lam l. lam r.
     if eqfApprox epsilon l r then 0