Merge pull request #200667 from wegank/to-base-digits-type

lib.trivial.toBaseDigits: type check
2022-11-11 19:35:33 +01:00
parent 740824fd64 343749453e
commit b0a6ab09d5
1 changed files with 2 additions and 0 deletions
@@ -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);