From b366bed24bd566396e898bdbbc7721adc25ec369 Mon Sep 17 00:00:00 2001
From: radrow <radrowicki@gmail.com>
Date: Fri, 25 Jun 2021 11:19:19 +0200
Subject: [PATCH] Add check in from_to_step

---
 priv/stdlib/List.aes | 1 +
 1 file changed, 1 insertion(+)

diff --git a/priv/stdlib/List.aes b/priv/stdlib/List.aes
index 9493037..f08e9e4 100644
--- a/priv/stdlib/List.aes
+++ b/priv/stdlib/List.aes
@@ -80,6 +80,7 @@ namespace List =
  * `b` only if `(b - a) mod step == 0`. `step` should be bigger than 0.
  */
   function from_to_step(a : int, b : int, s : int) : list(int) =
+    require(step > 0, "List.from_to_step: non-positive step")
     from_to_step_(a, b - (b-a) mod s, s, [])
   private function from_to_step_(a : int, b : int, s : int, acc : list(int)) : list(int) =
     if(b < a) acc