From 256aadd5754708f8d13979d9f12f28ce0aa2fcb7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rados=C5=82aw=20Rowicki?= <35342116+radrow@users.noreply.github.com> Date: Fri, 30 Aug 2019 13:44:26 +0200 Subject: [PATCH] [......] Co-Authored-By: Ulf Norell --- priv/stdlib/List.aes | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/priv/stdlib/List.aes b/priv/stdlib/List.aes index 8b070b5..2113bc4 100644 --- a/priv/stdlib/List.aes +++ b/priv/stdlib/List.aes @@ -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)