Finding some issues, as expected.

7 files changed, 26 insertions, 104 deletions

diff --git a/data/tests/collections.fate b/data/tests/collections.fate
index 1642e94..3734e5d 100644
--- a/data/tests/collections.fate
+++ b/data/tests/collections.fate
@@ -1,14 +1,12 @@
 (fate_version 1)
 
-(require include/data_types.fate)
+(global (list int) int_list_a)
+(global (list int) int_list_b)
+(global (list int) int_list_c)
 
-(declare_variable int_list int_list_a)
-(declare_variable int_list int_list_b)
-(declare_variable int_list int_list_c)
-
-(declare_variable int_set int_set_a)
-(declare_variable int_set int_set_b)
-(declare_variable int_set int_set_c)
+(global (set int) int_set_a)
+(global (set int) int_set_b)
+(global (set int) int_set_c)
 
 (assert (= 0 (size (var int_list_a))) FAILED: size list A)
 (assert (= 0 (size (var int_set_a))) FAILED: size set A)
diff --git a/data/tests/comparisons.fate b/data/tests/comparisons.fate
index 68c5ed9..9a7ea82 100644
--- a/data/tests/comparisons.fate
+++ b/data/tests/comparisons.fate
@@ -8,13 +8,11 @@
    FAILED: string comparison C
 )
 
-(declare_ptr_type int int_ptr)
+(global int i)
+(global (ptr int) i_ptr)
 
-(def_var int i)
-(def_var int_ptr i_ptr)
-
-(def_var int j)
-(def_var int_ptr j_ptr)
+(global int j)
+(global (ptr int) j_ptr)
 
 (set i_ptr (ptr i))
 (set j_ptr (ptr j))
@@ -31,7 +29,7 @@
    (int b)
 )
 
-(def_var test_dict_t td)
+(global test_dict_t td)
 
 (set i_ptr (ptr td.a))
 (set j_ptr (ptr td.b))
diff --git a/data/tests/conditionals.fate b/data/tests/conditionals.fate
index 02730c6..82168ac 100644
--- a/data/tests/conditionals.fate
+++ b/data/tests/conditionals.fate
@@ -101,7 +101,7 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;; INSTRUCTIONS ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-(declare_variable boolean test_var)
+(global boolean test_var)
 (set test_var (true))
 
 (assert (var test_var) FAILED: setting test_var)
diff --git a/data/tests/include/data_types.fate b/data/tests/include/data_types.fate
deleted file mode 100644
index abffedb..0000000
--- a/data/tests/include/data_types.fate
+++ /dev/null
@@ -1,70 +0,0 @@
-(fate_version 1)
-
-(typedef boolean sub_boolean)
-(typedef boolean alt_boolean)
-(typedef sub_boolean sub_sub_boolean)
-(typedef sub_boolean alt_sub_boolean)
-
-(typedef int sub_int)
-(typedef int alt_int)
-(typedef sub_int sub_sub_int)
-(typedef sub_int alt_sub_int)
-
-(typedef float sub_float)
-(typedef float alt_float)
-(typedef sub_float sub_sub_float)
-(typedef sub_float alt_sub_float)
-
-(typedef string sub_string)
-(typedef string alt_string)
-(typedef sub_string sub_sub_string)
-(typedef sub_string alt_sub_string)
-
-(define_list_type boolean boolean_list)
-(define_list_type sub_boolean sub_boolean_list)
-(define_set_type boolean boolean_set)
-(define_set_type sub_boolean sub_boolean_set)
-(define_ref_type boolean boolean_ptr)
-(define_ref_type sub_boolean sub_boolean_ptr)
-
-(define_list_type int int_list)
-(define_list_type sub_int sub_int_list)
-(define_set_type int int_set)
-(define_set_type sub_int sub_int_set)
-(define_ref_type int int_ptr)
-(define_ref_type sub_int sub_int_ptr)
-
-(define_list_type float float_list)
-(define_list_type sub_float sub_float_list)
-(define_set_type float float_set)
-(define_set_type sub_float sub_float_set)
-(define_ref_type float float_ptr)
-(define_ref_type sub_float sub_float_ptr)
-
-(define_list_type string string_list)
-(define_list_type sub_string sub_string_list)
-(define_set_type string string_set)
-(define_set_type sub_string sub_string_set)
-(define_ref_type string string_ptr)
-(define_ref_type sub_string sub_string_ptr)
-
-(define_dict_type simple_dict
-   (boolean boolean)
-   (int int)
-   (float float)
-   (string string)
-)
-
-(define_ref_type simple_dict simple_dict_ptr)
-(define_list_type simple_dict_ptr simple_dict_ptr_list)
-(define_set_type simple_dict_ptr simple_dict_ptr_set)
-
-(define_dict_type two_dict
-   (simple_dict dict_a)
-   (simple_dict dict_b)
-   (simple_dict_ptr dict_ptr)
-)
-
-(define_ref_type two_dict two_dict_ptr)
-(define_list_type two_dict_ptr two_dict_ptr_list)
-(define_set_type two_dict_ptr two_dict_ptr_set)
diff --git a/data/tests/locales.fate b/data/tests/locales.fate
index 21244d8..17be7cf 100644
--- a/data/tests/locales.fate
+++ b/data/tests/locales.fate
@@ -2,7 +2,7 @@
 
 大野！私はこれらの言語を話せません！
 
-(declare_variable int 変数)
+(global int 変数)
 
 (for (set 変数 0) (< (var 変数) 10) (set 変数 (+ (var 変数) 1))
    私は数を使って数えることができます：(var 変数)
@@ -10,7 +10,7 @@
 
 أوه لا! أنا لا أتحدث أيًا من هذه اللغات!
 
-(declare_variable int ﻢﺘﻐﻳﺭ)
+(global int ﻢﺘﻐﻳﺭ)
 
 (for (set ﻢﺘﻐﻳﺭ 0) (< (var ﻢﺘﻐﻳﺭ) 10) (set ﻢﺘﻐﻳﺭ (+ (var ﻢﺘﻐﻳﺭ) 1))
    لا يهم. يمكنني فقط استخدام الأرقام للعد حتى: (var ﻢﺘﻐﻳﺭ)
diff --git a/data/tests/loops.fate b/data/tests/loops.fate
index db7f212..47ad632 100644
--- a/data/tests/loops.fate
+++ b/data/tests/loops.fate
@@ -1,10 +1,8 @@
 (fate_version 1)
 
-(require include/data_types.fate)
-
-(declare_variable int i)
-(declare_variable int test_val)
-(declare_variable int test_val2)
+(global int i)
+(global int test_val)
+(global int test_val2)
 
 (set test_val 0)
 (set test_val2 0)
@@ -62,8 +60,8 @@
 (assert (= (var test_val2) 1) FAILED: do while loop E)
 (assert (= (var i) 1) FAILED: do while loop F)
 
-(declare_variable int_list int_list_a)
-(declare_variable int_list int_list_b)
+(global (list int) int_list_a)
+(global (list int) int_list_b)
 
 (for (set i 0) (< (var i) 10) (set i (+ (var i) 1))
    (add_element 1 int_list_a)
@@ -74,8 +72,8 @@
 (set test_val2 0)
 
 (foreach int_list_a a
-   (set test_val (+ (var test_val) (param a)))
-   (set test_val2 (+ (var test_val2) (param a)))
+   (set test_val (+ (var test_val) (var a)))
+   (set test_val2 (+ (var test_val2) (var a)))
 )
 (assert (= (var test_val) 10) FAILED: for each loop A)
 (assert (= (var test_val2) 10) FAILED: for each loop B)
@@ -125,9 +123,9 @@
 (set test_val 0)
 
 (foreach int_list_a a
-   (set test_val (+ (var test_val) (param a)))
+   (set test_val (+ (var test_val) (var a)))
    (break)
-   (set test_val2 (+ (var test_val2) (param a)))
+   (set test_val2 (+ (var test_val2) (var a)))
 )
 (assert (= (var test_val) 1) FAILED: break foreach loop A)
 (assert (= (var test_val2) 0) FAILED: break foreach loop B)
@@ -135,7 +133,7 @@
 (clear int_list_b)
 
 (foreach int_list_a a
-   (add_element (param a) int_list_b)
+   (add_element (var a) int_list_b)
    (for (set i 0) (< (var i) 1) (set i (+ (var i) 1))
       (add_element (var i) int_list_b)
    )
diff --git a/data/tests/references.fate b/data/tests/references.fate
index cc30154..fd9aeb3 100644
--- a/data/tests/references.fate
+++ b/data/tests/references.fate
@@ -1,15 +1,13 @@
 (fate_version 1)
 
-(require include/data_types.fate)
-
-(def_var (ptr int) alloc_i)
+(global (ptr int) alloc_i)
 
 (set alloc_i (new int))
 (set (at alloc_i) 2)
 
 (assert (= (at (var alloc_i)) 2) FAILED: set at A)
 
-(def_var (ptr (ptr int)) i_ptr_ptr)
+(global (ptr (ptr int)) i_ptr_ptr)
 (set i_ptr_ptr (ptr alloc_i))
 (set (at (at i_ptr_ptr)) 4)
 (assert (= (at (var alloc_i)) 4) FAILED: set at B)