Fix +inf.0 and -inf.0 for exact.

herbie-fp · Oct 10, 2024 · 1f1605c · 1f1605c
1 parent dddc1c9
commit 1f1605c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/core/localize.rkt b/src/core/localize.rkt
@@ -192,6 +192,8 @@
            (match exact
              [`+nan.0 `+nan.0]
              [`-nan.0 `-nan.0]
+             [`+inf.0 `+inf.0]
+             [`-inf.0 `-inf.0]
              [value
               ; __exact double underscore to avoid conflicts with user provided
               ; variables. Could use name mangling long term.