typechecker seems to work for function calls

[proglang.git] / examples / func

diff --git a/examples/func b/examples/func
index fcebceb5f0c5fb97663d8986ef41603a29cc0ef7..0f79e78090479f4a8eabe3ff9f79b2662b4392ba 100644 (file)
--- a/examples/func
+++ b/examples/func
@@ -8,5 +8,25 @@ int fac(int n){
        n++;
        int sum = 1;
        while (n-- > 1) sum = sum * n;
-       return n;
+       return sum;
+}
+
+int fib(int n){
+       int n1 = 0;
+       int n2 = 1;
+
+       while (n-- > 0){
+               int temp = n1+n2;
+               n1 = n2;
+               n2 = temp;
+       }
+       return n2;
+}
+
+int func(int a, int b){
+       return (a+b);
+}
+
+bool boolfunc(int a, int b){
+       return (a == b);
 }