add global variables

fix shadowing in different levels
better type checking

1 files changed, 7 insertions, 2 deletions

diff --git a/test/main.felan b/test/main.felan
index d1e576d..1adc1dd 100644
--- a/test/main.felan
+++ b/test/main.felan
@@ -1,4 +1,9 @@
-main :: () -> void {
-  a :: 1423;
+main :()->void: () -> void {
+  a :: 3;
   print_u64 a;
+  c :: 4;
+  print_u64 b;
+  print_u64 c;
 };
+a :: 1;
+b :: 2;