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.

1 files changed, 7 insertions, 9 deletions

diff --git a/examples/uniq.fwd b/examples/uniq.fwd
index 490a702..c043a89 100644
--- a/examples/uniq.fwd
+++ b/examples/uniq.fwd
@@ -2,15 +2,13 @@
 
 /* at some point I'll probably add in a type system as well, but for now let's
  * pretend we're static-dynamic (or dynamic at compiletime? dunno) */
-readlines(set, next)
+readlines(unordered_set![string] set, (unordered_set![string]) next)
 {
-	/* option![str] */
-	fwd_getline() => line;
+	fwd_getline() => optional![string] line;
 
-	/* unwraps option![str] -> str */
-	fwd_some(line) => line {
+	fwd_some(line) => string line {
 		/* we had something in our option */
-		fwd_insert(set, line) => set;
+		fwd_insert(set, line) => unordered_set![string] set;
 
 		/* at the moment the only supported looping construct is
 		 * recursion */
@@ -25,9 +23,9 @@ main()
 {
 	/* fwdlib.hpp uses namespace std, not good practice but allows us to do
 	 * stuff like this: */
-	unordered_set![string]{} => set;
-	readlines(set) => set;
-	fwd_foreach(set) => node {
+	unordered_set![string]{} => unordered_set![string] set;
+	readlines(set) => unordered_set![string] set;
+	fwd_foreach(set) => string node {
 		fwd_println(node);
 	}
 }