diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2022-11-11 10:30:23 +0100 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2022-11-11 10:30:23 +0100 |
commit | 343749453e4e27552b67d44532c12b786c5d50f6 (patch) | |
tree | 0d355afee9d778d85d11b0ef009e5b8700d3b2f4 /lib | |
parent | a1f49c048b4ea816d5f36d0d5f50fa6b9fe159fa (diff) |
lib.trivial.toBaseDigits: type check
Diffstat (limited to 'lib')
-rw-r--r-- | lib/trivial.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/trivial.nix b/lib/trivial.nix index 5d4fad8266bc9..0e02660d6b35a 100644 --- a/lib/trivial.nix +++ b/lib/trivial.nix @@ -514,6 +514,8 @@ rec { in [r] ++ go q; in + assert (isInt base); + assert (isInt i); assert (base >= 2); assert (i >= 0); lib.reverseList (go i); |