Add fibonacci sequence example program

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;

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",

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
   ]

tests/examplesExpected/Fibonacci/expected.golden

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