From d5ee411c66346ecf082cd781259ad6323702b3f5 Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Tue, 28 May 2024 17:02:23 +0200 Subject: [PATCH] fix tests --- tests/Rust/Compilation/positive/out/test021.out | 2 +- tests/Rust/Compilation/positive/out/test034.out | 2 +- tests/Rust/Compilation/positive/test021.juvix | 2 +- tests/Rust/Compilation/positive/test034.juvix | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/tests/Rust/Compilation/positive/out/test021.out b/tests/Rust/Compilation/positive/out/test021.out index 2a03ba04a9..607874b4cd 100644 --- a/tests/Rust/Compilation/positive/out/test021.out +++ b/tests/Rust/Compilation/positive/out/test021.out @@ -1 +1 @@ -9767820 +80320 diff --git a/tests/Rust/Compilation/positive/out/test034.out b/tests/Rust/Compilation/positive/out/test034.out index 3f891345c5..ee5a2becbf 100644 --- a/tests/Rust/Compilation/positive/out/test034.out +++ b/tests/Rust/Compilation/positive/out/test034.out @@ -1 +1 @@ -50006027 +501527 diff --git a/tests/Rust/Compilation/positive/test021.juvix b/tests/Rust/Compilation/positive/test021.juvix index e11f4fcfab..5d178f2db4 100644 --- a/tests/Rust/Compilation/positive/test021.juvix +++ b/tests/Rust/Compilation/positive/test021.juvix @@ -13,4 +13,4 @@ power' : Nat → Nat → Nat → Nat power : Nat → Nat → Nat := power' 1; -main : Nat := power 2 3 + power 3 7 + power 5 10; +main : Nat := power 2 3 + power 3 7 + power 5 7; diff --git a/tests/Rust/Compilation/positive/test034.juvix b/tests/Rust/Compilation/positive/test034.juvix index 7176d15b5c..6cfd93686b 100644 --- a/tests/Rust/Compilation/positive/test034.juvix +++ b/tests/Rust/Compilation/positive/test034.juvix @@ -22,4 +22,4 @@ mutrec : Nat := h (x : Nat) : Nat := if (x < 1) 1 (x * f (sub x 1)); in f 5 + f 10 + g 5 + h 5; -main : Nat := sum 10000 + mutrec; +main : Nat := sum 1000 + mutrec;