Test that number() rejects infinities

herp-inc · Jan 24, 2023 · 7d59a0a · 7d59a0a
1 parent c01a056
commit 7d59a0a
Showing 1 changed file with 14 additions and 4 deletions.
diff --git a/src/VariableDecoder/number.test.ts b/src/VariableDecoder/number.test.ts
@@ -1,6 +1,7 @@
 import * as fc from 'fast-check';
 import * as E from 'fp-ts/Either';
 
+import { DecodeFailed } from '../EnvironmentError';
 import { Variable } from '../Variable';
 
 import { number } from './number';
@@ -10,10 +11,19 @@ describe(number, () => {
         const decoder = number();
 
         fc.assert(
-            fc.property(fc.float(), (n) => {
-                const variable = new Variable('KEY', String(n));
-                expect(decoder(variable)).toStrictEqual(E.right(n));
-            }),
+            fc.property(
+                fc.float().filter((x) => Number.isFinite(x)),
+                (n) => {
+                    const variable = new Variable('KEY', String(n));
+                    expect(decoder(variable)).toStrictEqual(E.right(n));
+                },
+            ),
         );
     });
+
+    test.each([Number.POSITIVE_INFINITY, Number.NEGATIVE_INFINITY])('rejects "%s"', (str) => {
+        const decoder = number();
+        const variable = new Variable('KEY', String(str));
+        expect(decoder(variable)).toStrictEqual(E.left(new DecodeFailed(variable, 'must be finite')));
+    });
 });