aboutsummaryrefslogtreecommitdiff
path: root/tests/functional/lang/eval-okay-arithmetic.nix
diff options
context:
space:
mode:
authorJohn Ericson <John.Ericson@Obsidian.Systems>2023-12-01 13:53:13 -0500
committerGitHub <noreply@github.com>2023-12-01 13:53:13 -0500
commit211b6e18556e03829ae7bba38c7272af2900a2e8 (patch)
treebfcfef3efeb73cb0c3c6d812280191d03bda1233 /tests/functional/lang/eval-okay-arithmetic.nix
parent72425212657d795dc215b334b7c8c8cd36d06b72 (diff)
parentf7f37035c81fa825a4dfc2df1ad2589013ac6380 (diff)
Merge pull request #9517 from NixOS/2.18-flatten-tests
[Backport 2.18-maintanence] Backport test source layout reorgs
Diffstat (limited to 'tests/functional/lang/eval-okay-arithmetic.nix')
-rw-r--r--tests/functional/lang/eval-okay-arithmetic.nix59
1 files changed, 59 insertions, 0 deletions
diff --git a/tests/functional/lang/eval-okay-arithmetic.nix b/tests/functional/lang/eval-okay-arithmetic.nix
new file mode 100644
index 000000000..7e9e6a0b6
--- /dev/null
+++ b/tests/functional/lang/eval-okay-arithmetic.nix
@@ -0,0 +1,59 @@
+with import ./lib.nix;
+
+let {
+
+ /* Supposedly tail recursive version:
+
+ range_ = accum: first: last:
+ if first == last then ([first] ++ accum)
+ else range_ ([first] ++ accum) (builtins.add first 1) last;
+
+ range = range_ [];
+ */
+
+ x = 12;
+
+ err = abort "urgh";
+
+ body = sum
+ [ (sum (range 1 50))
+ (123 + 456)
+ (0 + -10 + -(-11) + -x)
+ (10 - 7 - -2)
+ (10 - (6 - -1))
+ (10 - 1 + 2)
+ (3 * 4 * 5)
+ (56088 / 123 / 2)
+ (3 + 4 * const 5 0 - 6 / id 2)
+
+ (builtins.bitAnd 12 10) # 0b1100 & 0b1010 = 8
+ (builtins.bitOr 12 10) # 0b1100 | 0b1010 = 14
+ (builtins.bitXor 12 10) # 0b1100 ^ 0b1010 = 6
+
+ (if 3 < 7 then 1 else err)
+ (if 7 < 3 then err else 1)
+ (if 3 < 3 then err else 1)
+
+ (if 3 <= 7 then 1 else err)
+ (if 7 <= 3 then err else 1)
+ (if 3 <= 3 then 1 else err)
+
+ (if 3 > 7 then err else 1)
+ (if 7 > 3 then 1 else err)
+ (if 3 > 3 then err else 1)
+
+ (if 3 >= 7 then err else 1)
+ (if 7 >= 3 then 1 else err)
+ (if 3 >= 3 then 1 else err)
+
+ (if 2 > 1 == 1 < 2 then 1 else err)
+ (if 1 + 2 * 3 >= 7 then 1 else err)
+ (if 1 + 2 * 3 < 7 then err else 1)
+
+ # Not integer, but so what.
+ (if "aa" < "ab" then 1 else err)
+ (if "aa" < "aa" then err else 1)
+ (if "foo" < "foobar" then 1 else err)
+ ];
+
+}