unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-22 15:58:34 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #2233 from unisonweb/topic/natdivmod

Browse Source 
Test `Nat./` and `Nat.mod`
This commit is contained in:
mergify[bot] 2021-07-15 15:33:16 +00:00 committed by GitHub
commit c8a849707c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
unison-src/transcripts-using-base/builtins.md
View File

@ -95,6 +95,8 @@ test> Nat.tests.arithmetic =
10 / 5 == 2,
10 `mod` 3 == 1,
10 `mod` 2 == 0,
18446744073709551615 / 2 == 9223372036854775807,
18446744073709551615 `mod` 2 == 1,
increment 99 == 100,
not (isEven 99),
isEven 100,
@ -105,7 +107,7 @@ test> Nat.tests.arithmetic =
43 `lteq` 43,
43 `lteq` 44,
43 `gteq` 43,
43 `gteq` 41
43 `gteq` 41,
]
test> Nat.tests.bitTwiddling =

4
unison-src/transcripts-using-base/builtins.output.md
View File

@ -91,6 +91,8 @@ test> Nat.tests.arithmetic =
10 / 5 == 2,
10 `mod` 3 == 1,
10 `mod` 2 == 0,
18446744073709551615 / 2 == 9223372036854775807,
18446744073709551615 `mod` 2 == 1,
increment 99 == 100,
not (isEven 99),
isEven 100,
@ -101,7 +103,7 @@ test> Nat.tests.arithmetic =
43 `lteq` 43,
43 `lteq` 44,
43 `gteq` 43,
43 `gteq` 41
43 `gteq` 41,
]
test> Nat.tests.bitTwiddling =