test

anoma · Sep 12, 2024 · 87fc7fe · 87fc7fe
1 parent 02cbc6f
commit 87fc7fe
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/tests/Compilation/positive/out/test081.out b/tests/Compilation/positive/out/test081.out
@@ -0,0 +1 @@
+0
diff --git a/tests/Compilation/positive/test081.juvix b/tests/Compilation/positive/test081.juvix
@@ -0,0 +1,18 @@
+-- Non-duplication in let-folding
+module test081;
+
+import Stdlib.Prelude open;
+
+{-# inline: false #-}
+g (h : Nat -> Nat) : Nat := h 0 * h 0;
+
+terminating
+f (n : Nat) : Nat :=
+  if
+    | n == 0 := 0
+    | else :=
+      let terminating x := f (sub n 1)
+      in
+      g \{_ := x};
+
+main : Nat := f 10000;