[ admin ] Document IEEE const bindings in CHLOG

Combined, the IEEE-related commits close idris-lang#29
CodingCellist · Oct 20, 2023 · b668d4b · b668d4b
1 parent a2cdbe5
commit b668d4b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -207,6 +207,9 @@
 
 * Implements `Ord` for `Count` from `Language.Reflection`.
 
+* Adds bindings for IEEE floating point constants NaN and (+/-) Inf, as well as
+  machine epsilon and unit roundoff. Speeds vary depending on backend.
+
 #### System
 
 * Changes `getNProcessors` to return the number of online processors rather than

diff --git a/libs/base/Data/Double.idr b/libs/base/Data/Double.idr
@@ -1,9 +1,6 @@
 ||| Various IEEE floating-point number constants
 module Data.Double
 
--- TODO:
---   * update changelog
-
 %foreign "scheme:blodwen-calcFlonumUnitRoundoff"
          "node:lambda:()=>Number.EPSILON / 2"
 ||| Largest number that can be added to a floating-point number without changing