lib.toBaseDigits: avoid reversing list

This commit is contained in:
Eman Resu
2026-05-21 14:40:32 -04:00
parent 19fcf5006a
commit 1f83c2cc22

View File

@@ -1327,11 +1327,11 @@ in
r = i - ((i / base) * base);
q = (i - r) / base;
in
[ r ] ++ go q;
go q ++ [ r ];
in
assert (isInt base);
assert (isInt i);
assert (base >= 2);
assert (i >= 0);
lib.reverseList (go i);
go i;
}