Add fibonacci sequence example program (#1375)

anoma · Jul 14, 2022 · cff0194 · cff0194
1 parent fc6a0bb
commit cff0194
Show file tree

Hide file tree

Showing 4 changed files with 20 additions and 1 deletion.
diff --git a/examples/milestone/Fibonacci/Fibonacci.juvix b/examples/milestone/Fibonacci/Fibonacci.juvix
@@ -0,0 +1,15 @@
+module Fibonacci;
+
+open import Stdlib.Prelude;
+
+fib : ℕ → ℕ → ℕ → ℕ;
+fib zero x1 _ ≔ x1;
+fib (suc n) x1 x2 ≔ fib n x2 (x1 + x2);
+
+fibonacci : ℕ → ℕ;
+fibonacci n ≔ fib n 0 1;
+
+main : IO;
+main ≔ putStrLn (natToStr (fibonacci 25));
+
+end;
diff --git a/test/BackendC/Base.hs b/test/BackendC/Base.hs
@@ -63,6 +63,7 @@ standaloneArgs :: FilePath -> FilePath -> FilePath -> [String]
 standaloneArgs sysrootPath wasmOutputFile cOutputFile =
   [ "-nodefaultlibs",
     "-std=c99",
+    "-Oz",
     "-I",
     takeDirectory minicRuntime,
     "-I",
@@ -86,6 +87,7 @@ libcArgs :: FilePath -> FilePath -> FilePath -> [String]
 libcArgs sysrootPath wasmOutputFile cOutputFile =
   [ "-nodefaultlibs",
     "-std=c99",
+    "-Oz",
     "-I",
     takeDirectory minicRuntime,
     "-I",

diff --git a/test/BackendC/Examples.hs b/test/BackendC/Examples.hs
@@ -37,5 +37,6 @@ allTests =
 tests :: [ExampleTest]
 tests =
   [ ExampleTest "Validity Predicate example" "ValidityPredicates" "Tests.juvix" "ValidityPredicates" "" StdlibExclude,
-    ExampleTest "MiniTicTacToe example" "MiniTicTacToe" "MiniTicTacToe.juvix" "MiniTicTacToe" "aaa\n0\n10\n1\n2\n3\n3\n4\n5\n6\n7\n8\n9\n" StdlibInclude
+    ExampleTest "MiniTicTacToe example" "MiniTicTacToe" "MiniTicTacToe.juvix" "MiniTicTacToe" "aaa\n0\n10\n1\n2\n3\n3\n4\n5\n6\n7\n8\n9\n" StdlibInclude,
+    ExampleTest "Fibonacci example" "Fibonacci" "Fibonacci.juvix" "Fibonacci" "" StdlibInclude
   ]
diff --git a/tests/examplesExpected/Fibonacci/expected.golden b/tests/examplesExpected/Fibonacci/expected.golden
@@ -0,0 +1 @@
+75025