From e5fda1c96af409065fedbe032b0f7908d9f312ac Mon Sep 17 00:00:00 2001
From: Kimplul <kimi.h.kuparinen@gmail.com>
Date: Fri, 6 Dec 2024 18:14:40 +0200
Subject: add types to parser

+ No actual type checking is implemented as of yet, but with references
  and pointers I should be able to start playing around with checking
  move semantics and so on

+ Might at some point also look into type propagation for let,
  annoying to have to specify the same thing twice.
---
 examples/fib.fwd | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'examples/fib.fwd')

diff --git a/examples/fib.fwd b/examples/fib.fwd
index 8b0e055..4eb2e60 100644
--- a/examples/fib.fwd
+++ b/examples/fib.fwd
@@ -5,19 +5,19 @@
  * bifurcating nature of fibonacci just gets mapped to a linear sequence of
  * calls? */
 
-fib(n, res)
+fib(int n, (int) res)
 {
-	fwd_if(n < 2) => {
+	if n < 2 {
 		res(1);
-	} => {
-		fib(n - 1) => f1;
-		fib(n - 2) => f2;
+	} else {
+		fib(n - 1) => int f1;
+		fib(n - 2) => int f2;
 		res(f1 + f2);
 	}
 }
 
 main()
 {
-	fib(6) => n;
+	fib(6) => int n;
 	fwd_println(n);
 }
-- 
cgit v1.2.3