Updated some functions, renamed some stuff, added from_to IN STDLIB #627

Merged
zxq9 merged 5 commits from github/fork/radrow/stdlib-extensions into master 2019-09-02 16:56:57 +09:00
Showing only changes of commit 256aadd575 - Show all commits

View File

@ -57,7 +57,7 @@ namespace List =
_::t => length_(t, acc + 1)
function from_to(a : int, b : int) : list(int) = from_to_(a, b, [])
function from_to(a : int, b : int) : list(int) = [a..b]
private function from_to_(a, b, acc) =
if (a > b) acc else from_to_(a, b - 1, b :: acc)