lib.trivial.toBaseDigits: type check

This commit is contained in:
Weijia Wang
2022-11-11 10:30:23 +01:00
parent a1f49c048b
commit 343749453e
+2
View File
@@ -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);