update stdlib

tests/Casm/Compilation/positive/out/test078.out

@@ -0,0 +1 @@
+482630520

tests/Casm/Compilation/positive/test078.juvix

@@ -0,0 +1,11 @@
+module test078;
+
+import Stdlib.Prelude open;
+
+fact' (acc : Nat) : Nat → Nat
+  | zero := acc
+  | (suc x) := assert (acc /= 0) >-> fact' (acc * suc x) x;
+
+fact : Nat → Nat := fact' 1;
+
+main : Nat := assert (fact 10 == 10 * fact 9) >-> fact 5 + fact 10 + fact 12;

tests/Casm/positive/out/test018.out

@@ -0,0 +1 @@
+0

tests/Casm/positive/test018.casm

@@ -0,0 +1,13 @@
+-- assertions
+
+start:
+  [ap] = 10
+  [ap + 1] = 1
+  ap += 2
+loop:
+  [ap] = [ap - 2] - 1
+  [ap + 1] = [ap - 1] * [ap - 2]
+  ap += 2
+  jmp loop if [ap - 2] != 0
+  [ap] = [ap - 1] - 3628800; ap++
+  assert [ap - 1]