summaryrefslogtreecommitdiff
path: root/data/unit-testing
diff options
context:
space:
mode:
Diffstat (limited to 'data/unit-testing')
-rw-r--r--data/unit-testing/access.fate14
-rw-r--r--data/unit-testing/access_constant_index.fate80
-rw-r--r--data/unit-testing/access_pointer.fate60
-rw-r--r--data/unit-testing/add_element.fate70
-rw-r--r--data/unit-testing/add_element_at.fate38
-rw-r--r--data/unit-testing/add_elements_of.fate28
-rw-r--r--data/unit-testing/allocate_and_free.fate11
-rw-r--r--data/unit-testing/cast.fate54
-rw-r--r--data/unit-testing/cond.fate74
-rw-r--r--data/unit-testing/cons_car_cdr.fate26
-rw-r--r--data/unit-testing/count.fate20
-rw-r--r--data/unit-testing/field_access.fate12
-rw-r--r--data/unit-testing/filter.fate140
-rw-r--r--data/unit-testing/fold.fate60
-rw-r--r--data/unit-testing/ifelse.fate30
-rw-r--r--data/unit-testing/map.fate58
-rw-r--r--data/unit-testing/merge.fate116
-rw-r--r--data/unit-testing/ptr_and_at.fate48
18 files changed, 470 insertions, 469 deletions
diff --git a/data/unit-testing/access.fate b/data/unit-testing/access.fate
index fe92293..e665b69 100644
--- a/data/unit-testing/access.fate
+++ b/data/unit-testing/access.fate
@@ -3,23 +3,23 @@
(global (list int) li)
(global (ptr (list int)) li_ptr)
-(set li (range 0 10 1))
-(set li_ptr (ptr li))
+(set! li (range 0 10 1))
+(set! li_ptr (ptr li))
(global int i)
-(for (set i 0) (=< i 10) (set i (+ i 1))
- (assert (= (access i li) (var i))
+(for (set! i 0) (=< i 10) (set! i (+ i 1))
+ (assert! (= (access i li) (var i))
[FAILED] ACCESS assert failed on (var i) for li.
)
- (assert (= (access i li_ptr) (var i))
+ (assert! (= (access i li_ptr) (var i))
[FAILED] ACCESS assert failed on (var i) with for li_ptr.
)
- (assert (= (access i (range 0 10 1)) (var i))
+ (assert! (= (access i (range 0 10 1)) (var i))
[FAILED] ACCESS assert failed on (var i) with for range.
)
)
[COMPLETED] ACCESS
-(end)
+(end!)
diff --git a/data/unit-testing/access_constant_index.fate b/data/unit-testing/access_constant_index.fate
index 7399289..be3c3fa 100644
--- a/data/unit-testing/access_constant_index.fate
+++ b/data/unit-testing/access_constant_index.fate
@@ -2,57 +2,57 @@
(global string test_name)
-(set test_name ( ACCESS CONSTANT INDEX ))
+(set! test_name ( ACCESS CONSTANT INDEX ))
(global (list int) li)
(global (ptr (list int)) li_ptr)
-(set li (range 0 10 1))
-(set li_ptr (ptr li))
-
-(assert (= (var li.0) 0) [FAILED] (var test_name) li.0)
-(assert (= (var li.1) 1) [FAILED] (var test_name) li.1)
-(assert (= (var li.2) 2) [FAILED] (var test_name) li.2)
-(assert (= (var li.3) 3) [FAILED] (var test_name) li.3)
-(assert (= (var li.4) 4) [FAILED] (var test_name) li.4)
-(assert (= (var li.5) 5) [FAILED] (var test_name) li.5)
-(assert (= (var li.6) 6) [FAILED] (var test_name) li.6)
-(assert (= (var li.7) 7) [FAILED] (var test_name) li.7)
-(assert (= (var li.8) 8) [FAILED] (var test_name) li.8)
-(assert (= (var li.9) 9) [FAILED] (var test_name) li.9)
-(assert (= (var li.10) 10) [FAILED] (var test_name) li.10)
-
-(assert (= (var li_ptr.0) 0) [FAILED] (var test_name) li_ptr.0)
-(assert (= (var li_ptr.1) 1) [FAILED] (var test_name) li_ptr.1)
-(assert (= (var li_ptr.2) 2) [FAILED] (var test_name) li_ptr.2)
-(assert (= (var li_ptr.3) 3) [FAILED] (var test_name) li_ptr.3)
-(assert (= (var li_ptr.4) 4) [FAILED] (var test_name) li_ptr.4)
-(assert (= (var li_ptr.5) 5) [FAILED] (var test_name) li_ptr.5)
-(assert (= (var li_ptr.6) 6) [FAILED] (var test_name) li_ptr.6)
-(assert (= (var li_ptr.7) 7) [FAILED] (var test_name) li_ptr.7)
-(assert (= (var li_ptr.8) 8) [FAILED] (var test_name) li_ptr.8)
-(assert (= (var li_ptr.9) 9) [FAILED] (var test_name) li_ptr.9)
-(assert (= (var li_ptr.10) 10) [FAILED] (var test_name) li_ptr.10)
+(set! li (range 0 10 1))
+(set! li_ptr (ptr li))
+
+(assert! (= (var li.0) 0) [FAILED] (var test_name) li.0)
+(assert! (= (var li.1) 1) [FAILED] (var test_name) li.1)
+(assert! (= (var li.2) 2) [FAILED] (var test_name) li.2)
+(assert! (= (var li.3) 3) [FAILED] (var test_name) li.3)
+(assert! (= (var li.4) 4) [FAILED] (var test_name) li.4)
+(assert! (= (var li.5) 5) [FAILED] (var test_name) li.5)
+(assert! (= (var li.6) 6) [FAILED] (var test_name) li.6)
+(assert! (= (var li.7) 7) [FAILED] (var test_name) li.7)
+(assert! (= (var li.8) 8) [FAILED] (var test_name) li.8)
+(assert! (= (var li.9) 9) [FAILED] (var test_name) li.9)
+(assert! (= (var li.10) 10) [FAILED] (var test_name) li.10)
+
+(assert! (= (var li_ptr.0) 0) [FAILED] (var test_name) li_ptr.0)
+(assert! (= (var li_ptr.1) 1) [FAILED] (var test_name) li_ptr.1)
+(assert! (= (var li_ptr.2) 2) [FAILED] (var test_name) li_ptr.2)
+(assert! (= (var li_ptr.3) 3) [FAILED] (var test_name) li_ptr.3)
+(assert! (= (var li_ptr.4) 4) [FAILED] (var test_name) li_ptr.4)
+(assert! (= (var li_ptr.5) 5) [FAILED] (var test_name) li_ptr.5)
+(assert! (= (var li_ptr.6) 6) [FAILED] (var test_name) li_ptr.6)
+(assert! (= (var li_ptr.7) 7) [FAILED] (var test_name) li_ptr.7)
+(assert! (= (var li_ptr.8) 8) [FAILED] (var test_name) li_ptr.8)
+(assert! (= (var li_ptr.9) 9) [FAILED] (var test_name) li_ptr.9)
+(assert! (= (var li_ptr.10) 10) [FAILED] (var test_name) li_ptr.10)
(global (list (list int)) lili)
(global int i)
-(for (set i 0) (=< i 10) (set i (+ i 1))
+(for (set! i 0) (=< i 10) (set! i (+ i 1))
(add! (range 0 i 1) lili)
)
-(assert (= (var lili.10.0) 0) [FAILED] (var test_name) lili.10.0 was (var lili.10.0).)
-(assert (= (var lili.9.1) 1) [FAILED] (var test_name) lili.9.1 was (var lili.9.1).)
-(assert (= (var lili.8.2) 2) [FAILED] (var test_name) lili.8.2 was (var lili.8.2).)
-(assert (= (var lili.7.3) 3) [FAILED] (var test_name) lili.7.3 was (var lili.7.3).)
-(assert (= (var lili.6.4) 4) [FAILED] (var test_name) lili.6.4 was (var lili.6.4).)
-(assert (= (var lili.5.5) 5) [FAILED] (var test_name) lili.5.5 was (var lili.5.5).)
-(assert (= (var lili.4.3) 3) [FAILED] (var test_name) lili.4.3 was (var lili.4.3).)
-(assert (= (var lili.3.2) 2) [FAILED] (var test_name) lili.3.2 was (var lili.3.2).)
-(assert (= (var lili.2.1) 1) [FAILED] (var test_name) lili.2.1 was (var lili.2.1).)
-(assert (= (var lili.1.0) 0) [FAILED] (var test_name) lili.1.0 was (var lili.1.0).)
-(assert (= (var lili.0.0) 0) [FAILED] (var test_name) lili.0.0 was (var lili.0.0).)
+(assert! (= (var lili.10.0) 0) [FAILED] (var test_name) lili.10.0 was (var lili.10.0).)
+(assert! (= (var lili.9.1) 1) [FAILED] (var test_name) lili.9.1 was (var lili.9.1).)
+(assert! (= (var lili.8.2) 2) [FAILED] (var test_name) lili.8.2 was (var lili.8.2).)
+(assert! (= (var lili.7.3) 3) [FAILED] (var test_name) lili.7.3 was (var lili.7.3).)
+(assert! (= (var lili.6.4) 4) [FAILED] (var test_name) lili.6.4 was (var lili.6.4).)
+(assert! (= (var lili.5.5) 5) [FAILED] (var test_name) lili.5.5 was (var lili.5.5).)
+(assert! (= (var lili.4.3) 3) [FAILED] (var test_name) lili.4.3 was (var lili.4.3).)
+(assert! (= (var lili.3.2) 2) [FAILED] (var test_name) lili.3.2 was (var lili.3.2).)
+(assert! (= (var lili.2.1) 1) [FAILED] (var test_name) lili.2.1 was (var lili.2.1).)
+(assert! (= (var lili.1.0) 0) [FAILED] (var test_name) lili.1.0 was (var lili.1.0).)
+(assert! (= (var lili.0.0) 0) [FAILED] (var test_name) lili.0.0 was (var lili.0.0).)
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/access_pointer.fate b/data/unit-testing/access_pointer.fate
index c98c31a..9ec3e44 100644
--- a/data/unit-testing/access_pointer.fate
+++ b/data/unit-testing/access_pointer.fate
@@ -2,99 +2,99 @@
(global string test_name)
-(set test_name ( ACCESS POINTER ))
+(set! test_name ( ACCESS POINTER ))
(global (list int) li)
(global (ptr (list int)) li_ptr)
-(set li (range 0 10 1))
-(set li_ptr (ptr li))
+(set! li (range 0 10 1))
+(set! li_ptr (ptr li))
(global int i)
-(for (set i 0) (=< i 10) (set i (+ i 1))
- (assert (= (at (access_ptr i li)) (var i))
+(for (set! i 0) (=< i 10) (set! i (+ i 1))
+ (assert! (= (at (access_ptr i li)) (var i))
[FAILED] ACCESS POINTER assert failed on (var i) for li.
)
- (assert (= (at (access_ptr i li_ptr)) (var i))
+ (assert! (= (at (access_ptr i li_ptr)) (var i))
[FAILED] ACCESS POINTER assert failed on (var i) with for li_ptr.
)
)
(global (list (list int)) lili)
-(for (set i 0) (=< i 10) (set i (+ i 1))
+(for (set! i 0) (=< i 10) (set! i (+ i 1))
(add! (range 0 i 1) lili)
)
-(assert
+(assert!
(= (at (access_ptr 0 (at (access_ptr 10 lili)))) 0)
[FAILED] (var test_name) lili.10.0 was
(at (access_ptr 0 (at (access_ptr 10 lili)))) for part A.
)
-(assert
+(assert!
(= (at (access_ptr 1 (at (access_ptr 9 lili)))) 1)
[FAILED] (var test_name) lili.9.1 was
(at (access_ptr 1 (at (access_ptr 9 lili)))) for part A.
)
-(assert
+(assert!
(= (at (access_ptr 2 (at (access_ptr 8 lili)))) 2)
[FAILED] (var test_name) lili.8.2 was
(at (access_ptr 2 (at (access_ptr 8 lili)))) for part A.
)
-(assert
+(assert!
(= (at (access_ptr 3 (at (access_ptr 7 lili)))) 3)
[FAILED] (var test_name) lili.7.3 was
(at (access_ptr 3 (at (access_ptr 7 lili)))) for part A.
)
-(assert
+(assert!
(= (at (access_ptr 4 (at (access_ptr 6 lili)))) 4)
[FAILED] (var test_name) lili.6.4 was
(at (access_ptr 4 (at (access_ptr 6 lili)))) for part A.
)
-(assert
+(assert!
(= (at (access_ptr 5 (at (access_ptr 5 lili)))) 5)
[FAILED] (var test_name) lili.5.5 was
(at (access_ptr 5 (at (access_ptr 5 lili)))) for part A.
)
-(assert
+(assert!
(= (at (access_ptr 3 (at (access_ptr 4 lili)))) 3)
[FAILED] (var test_name) lili.4.3 was
(at (access_ptr 3 (at (access_ptr 4 lili)))) for part A.
)
-(assert
+(assert!
(= (at (access_ptr 2 (at (access_ptr 3 lili)))) 2)
[FAILED] (var test_name) lili.3.2 was
(at (access_ptr 2 (at (access_ptr 3 lili)))) for part A.
)
-(assert
+(assert!
(= (at (access_ptr 1 (at (access_ptr 2 lili)))) 1)
[FAILED] (var test_name) lili.2.1 was
(at (access_ptr 1 (at (access_ptr 2 lili)))) for part A.
)
-(assert
+(assert!
(= (at (access_ptr 0 (at (access_ptr 1 lili)))) 0)
[FAILED] (var test_name) lili.1.0 was
(at (access_ptr 0 (at (access_ptr 1 lili)))) for part A.
)
-(assert
+(assert!
(= (at (access_ptr 0 (at (access_ptr 0 lili)))) 0)
[FAILED] (var test_name) lili.0.0 was
(at (access_ptr 0 (at (access_ptr 0 lili)))) for part A.
)
-(assert (= (at (access_ptr 0 lili.10)) 0) [FAILED] (var test_name) lili.10.0 was (at (access_ptr 0 lili.10)) for part B.)
-(assert (= (at (access_ptr 1 lili.9)) 1) [FAILED] (var test_name) lili.9.1 was (at (access_ptr 1 lili.9)) for part B.)
-(assert (= (at (access_ptr 2 lili.8)) 2) [FAILED] (var test_name) lili.8.2 was (at (access_ptr 2 lili.8)) for part B.)
-(assert (= (at (access_ptr 3 lili.7)) 3) [FAILED] (var test_name) lili.7.3 was (at (access_ptr 3 lili.7)) for part B.)
-(assert (= (at (access_ptr 4 lili.6)) 4) [FAILED] (var test_name) lili.6.4 was (at (access_ptr 4 lili.6)) for part B.)
-(assert (= (at (access_ptr 5 lili.5)) 5) [FAILED] (var test_name) lili.5.5 was (at (access_ptr 5 lili.5)) for part B.)
-(assert (= (at (access_ptr 3 lili.4)) 3) [FAILED] (var test_name) lili.4.3 was (at (access_ptr 3 lili.4)) for part B.)
-(assert (= (at (access_ptr 2 lili.3)) 2) [FAILED] (var test_name) lili.3.2 was (at (access_ptr 2 lili.3)) for part B.)
-(assert (= (at (access_ptr 1 lili.2)) 1) [FAILED] (var test_name) lili.2.1 was (at (access_ptr 1 lili.2)) for part B.)
-(assert (= (at (access_ptr 0 lili.1)) 0) [FAILED] (var test_name) lili.1.0 was (at (access_ptr 0 lili.1)) for part B.)
-(assert (= (at (access_ptr 0 lili.0)) 0) [FAILED] (var test_name) lili.0.0 was (at (access_ptr 0 lili.0)) for part B.)
+(assert! (= (at (access_ptr 0 lili.10)) 0) [FAILED] (var test_name) lili.10.0 was (at (access_ptr 0 lili.10)) for part B.)
+(assert! (= (at (access_ptr 1 lili.9)) 1) [FAILED] (var test_name) lili.9.1 was (at (access_ptr 1 lili.9)) for part B.)
+(assert! (= (at (access_ptr 2 lili.8)) 2) [FAILED] (var test_name) lili.8.2 was (at (access_ptr 2 lili.8)) for part B.)
+(assert! (= (at (access_ptr 3 lili.7)) 3) [FAILED] (var test_name) lili.7.3 was (at (access_ptr 3 lili.7)) for part B.)
+(assert! (= (at (access_ptr 4 lili.6)) 4) [FAILED] (var test_name) lili.6.4 was (at (access_ptr 4 lili.6)) for part B.)
+(assert! (= (at (access_ptr 5 lili.5)) 5) [FAILED] (var test_name) lili.5.5 was (at (access_ptr 5 lili.5)) for part B.)
+(assert! (= (at (access_ptr 3 lili.4)) 3) [FAILED] (var test_name) lili.4.3 was (at (access_ptr 3 lili.4)) for part B.)
+(assert! (= (at (access_ptr 2 lili.3)) 2) [FAILED] (var test_name) lili.3.2 was (at (access_ptr 2 lili.3)) for part B.)
+(assert! (= (at (access_ptr 1 lili.2)) 1) [FAILED] (var test_name) lili.2.1 was (at (access_ptr 1 lili.2)) for part B.)
+(assert! (= (at (access_ptr 0 lili.1)) 0) [FAILED] (var test_name) lili.1.0 was (at (access_ptr 0 lili.1)) for part B.)
+(assert! (= (at (access_ptr 0 lili.0)) 0) [FAILED] (var test_name) lili.0.0 was (at (access_ptr 0 lili.0)) for part B.)
[COMPLETED] ACCESS POINTER
-(end)
+(end!)
diff --git a/data/unit-testing/add_element.fate b/data/unit-testing/add_element.fate
index ccec148..299256f 100644
--- a/data/unit-testing/add_element.fate
+++ b/data/unit-testing/add_element.fate
@@ -2,17 +2,17 @@
(global string test_name)
-(set test_name ( ADD ELEMENT ))
+(set! test_name ( ADD ELEMENT ))
(global (list int) li0)
(global (list int) li1)
-(set li0 (add_element -1 li0))
-(set li0 (add_element 0 li0))
-(set li0 (add_element 1 li0))
-(set li0 (add_element 2 li0))
-(set li0 (add_element 3 4 5 li0))
-(set li0 (add_element 6 li0))
+(set! li0 (add_element -1 li0))
+(set! li0 (add_element 0 li0))
+(set! li0 (add_element 1 li0))
+(set! li0 (add_element 2 li0))
+(set! li0 (add_element 3 4 5 li0))
+(set! li0 (add_element 6 li0))
(add_element! -1 li1)
(add_element! 0 li1)
@@ -21,22 +21,22 @@
(add_element! 5 li1)
(add_element! 6 li1)
-(assert (= (var li0) (var li1)) [FAILED] (var test_name) equality.)
+(assert! (= (var li0) (var li1)) [FAILED] (var test_name) equality.)
-(assert (= (var li0.0) (var li1.0) -1) [FAILED] (var test_name) at 0: (var li0.0), (var li1.0).)
-(assert (= (var li0.1) (var li1.1) 0) [FAILED] (var test_name) at 1: (var li0.1), (var li1.1).)
-(assert (= (var li0.2) (var li1.2) 1) [FAILED] (var test_name) at 2: (var li0.2), (var li1.2).)
-(assert (= (var li0.3) (var li1.3) 2) [FAILED] (var test_name) at 3: (var li0.3), (var li1.3).)
-(assert (= (var li0.4) (var li1.4) 3) [FAILED] (var test_name) at 4: (var li0.4), (var li1.4).)
-(assert (= (var li0.5) (var li1.5) 4) [FAILED] (var test_name) at 5: (var li0.5), (var li1.5).)
-(assert (= (var li0.6) (var li1.6) 5) [FAILED] (var test_name) at 6: (var li0.6), (var li1.6).)
-(assert (= (var li0.7) (var li1.7) 6) [FAILED] (var test_name) at 7: (var li0.7), (var li1.7).)
+(assert! (= (var li0.0) (var li1.0) -1) [FAILED] (var test_name) at 0: (var li0.0), (var li1.0).)
+(assert! (= (var li0.1) (var li1.1) 0) [FAILED] (var test_name) at 1: (var li0.1), (var li1.1).)
+(assert! (= (var li0.2) (var li1.2) 1) [FAILED] (var test_name) at 2: (var li0.2), (var li1.2).)
+(assert! (= (var li0.3) (var li1.3) 2) [FAILED] (var test_name) at 3: (var li0.3), (var li1.3).)
+(assert! (= (var li0.4) (var li1.4) 3) [FAILED] (var test_name) at 4: (var li0.4), (var li1.4).)
+(assert! (= (var li0.5) (var li1.5) 4) [FAILED] (var test_name) at 5: (var li0.5), (var li1.5).)
+(assert! (= (var li0.6) (var li1.6) 5) [FAILED] (var test_name) at 6: (var li0.6), (var li1.6).)
+(assert! (= (var li0.7) (var li1.7) 6) [FAILED] (var test_name) at 7: (var li0.7), (var li1.7).)
(global (list int) ali0)
(global (list int) ali1)
-(set ali0 (add_element 6 (range -1 5 1)))
-(set ali1
+(set! ali0 (add_element 6 (range -1 5 1)))
+(set! ali1
(add_element 6
(add_element 5
(add_element 4
@@ -50,20 +50,20 @@
)
)
-(assert (= (var li0) (var li1) (var ali0) (var ali1)) [FAILED] (var test_name) equality 2.)
+(assert! (= (var li0) (var li1) (var ali0) (var ali1)) [FAILED] (var test_name) equality 2.)
(global (set int) si0)
(global (set int) si1)
(global (ptr (set int)) si_ptr)
-(set si_ptr (ptr si1))
+(set! si_ptr (ptr si1))
-(set si0 (add_element 6 si0))
-(set si0 (add_element 0 si0))
-(set si0 (add_element 1 4 -1 si0))
-(set si0 (add_element 5 si0))
-(set si0 (add_element 3 si0))
-(set si0 (add_element 2 si0))
+(set! si0 (add_element 6 si0))
+(set! si0 (add_element 0 si0))
+(set! si0 (add_element 1 4 -1 si0))
+(set! si0 (add_element 5 si0))
+(set! si0 (add_element 3 si0))
+(set! si0 (add_element 2 si0))
(add_element! 4 si1)
(add_element! 0 (at (ptr si1)))
@@ -72,14 +72,14 @@
(add_element! 1 (at si_ptr))
(add_element! 5 si1)
-(assert (= (var li0) (var li1) (var ali0) (var ali1) (var si0) (var si1)) [FAILED] (var test_name) equality 3.)
+(assert! (= (var li0) (var li1) (var ali0) (var ali1) (var si0) (var si1)) [FAILED] (var test_name) equality 3.)
-(set si0 (add_element 0 si0))
-(set si0 (add_element 4 si0))
-(set si0 (add_element 6 5 3 si0))
-(set si0 (add_element -1 si0))
-(set si0 (add_element 2 si0))
-(set si0 (add_element 1 si0))
+(set! si0 (add_element 0 si0))
+(set! si0 (add_element 4 si0))
+(set! si0 (add_element 6 5 3 si0))
+(set! si0 (add_element -1 si0))
+(set! si0 (add_element 2 si0))
+(set! si0 (add_element 1 si0))
(add_element! 4 si1)
(add_element! 1 0 6 si1)
@@ -88,8 +88,8 @@
(add_element! 2 si1)
(add_element! 5 si1)
-(assert (= (var li0) (var li1) (var ali0) (var ali1) (var si0) (var si1)) [FAILED] (var test_name) equality 4.)
+(assert! (= (var li0) (var li1) (var ali0) (var ali1) (var si0) (var si1)) [FAILED] (var test_name) equality 4.)
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/add_element_at.fate b/data/unit-testing/add_element_at.fate
index 43e8b1e..a3f73fe 100644
--- a/data/unit-testing/add_element_at.fate
+++ b/data/unit-testing/add_element_at.fate
@@ -2,19 +2,19 @@
(global string test_name)
-(set test_name ( ADD ELEMENT AT ))
+(set! test_name ( ADD ELEMENT AT ))
(global (list int) li0)
(global (list int) li1)
-(set li0 (add_element_at 0 0 li0))
-(set li0 (add_element_at 1 1 li0))
-(set li0 (add_element_at 2 2 li0))
-(set li0 (add_element_at 0 -1 li0))
-(set li0 (add_element_at 0 -3 li0))
-(set li0 (add_element_at 1 -2 li0))
-(set li0 (add_element_at 44 3 li0))
-(set li0 (add_element_at -44 -4 li0))
+(set! li0 (add_element_at 0 0 li0))
+(set! li0 (add_element_at 1 1 li0))
+(set! li0 (add_element_at 2 2 li0))
+(set! li0 (add_element_at 0 -1 li0))
+(set! li0 (add_element_at 0 -3 li0))
+(set! li0 (add_element_at 1 -2 li0))
+(set! li0 (add_element_at 44 3 li0))
+(set! li0 (add_element_at -44 -4 li0))
(add_element_at! 0 0 li1)
(add_element_at! 1 1 li1)
@@ -25,17 +25,17 @@
(add_element_at! 44 3 li1)
(add_element_at! -44 -4 li1)
-(assert (= (var li0) (var li1)) [FAILED] (var test_name) equality.)
+(assert! (= (var li0) (var li1)) [FAILED] (var test_name) equality.)
-(assert (= (var li0.0) (var li1.0) -4) [FAILED] (var test_name) at 0: (var li0.0), (var li1.0).)
-(assert (= (var li0.1) (var li1.1) -3) [FAILED] (var test_name) at 1: (var li0.1), (var li1.1).)
-(assert (= (var li0.2) (var li1.2) -2) [FAILED] (var test_name) at 2: (var li0.2), (var li1.2).)
-(assert (= (var li0.3) (var li1.3) -1) [FAILED] (var test_name) at 3: (var li0.3), (var li1.3).)
-(assert (= (var li0.4) (var li1.4) 0) [FAILED] (var test_name) at 4: (var li0.4), (var li1.4).)
-(assert (= (var li0.5) (var li1.5) 1) [FAILED] (var test_name) at 5: (var li0.5), (var li1.5).)
-(assert (= (var li0.6) (var li1.6) 2) [FAILED] (var test_name) at 6: (var li0.6), (var li1.6).)
-(assert (= (var li0.7) (var li1.7) 3) [FAILED] (var test_name) at 7: (var li0.7), (var li1.7).)
+(assert! (= (var li0.0) (var li1.0) -4) [FAILED] (var test_name) at 0: (var li0.0), (var li1.0).)
+(assert! (= (var li0.1) (var li1.1) -3) [FAILED] (var test_name) at 1: (var li0.1), (var li1.1).)
+(assert! (= (var li0.2) (var li1.2) -2) [FAILED] (var test_name) at 2: (var li0.2), (var li1.2).)
+(assert! (= (var li0.3) (var li1.3) -1) [FAILED] (var test_name) at 3: (var li0.3), (var li1.3).)
+(assert! (= (var li0.4) (var li1.4) 0) [FAILED] (var test_name) at 4: (var li0.4), (var li1.4).)
+(assert! (= (var li0.5) (var li1.5) 1) [FAILED] (var test_name) at 5: (var li0.5), (var li1.5).)
+(assert! (= (var li0.6) (var li1.6) 2) [FAILED] (var test_name) at 6: (var li0.6), (var li1.6).)
+(assert! (= (var li0.7) (var li1.7) 3) [FAILED] (var test_name) at 7: (var li0.7), (var li1.7).)
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/add_elements_of.fate b/data/unit-testing/add_elements_of.fate
index 1fead8a..fb47a38 100644
--- a/data/unit-testing/add_elements_of.fate
+++ b/data/unit-testing/add_elements_of.fate
@@ -2,12 +2,12 @@
(global string test_name)
-(set test_name ( ADD ELEMENTS OF ))
+(set! test_name ( ADD ELEMENTS OF ))
(global (list int) li0)
(global (list int) li1)
-(set li0
+(set! li0
(add_all (range 8 10 1)
(add_all (range 4 7 1)
(add_all (range 0 3 1)
@@ -21,16 +21,16 @@
(add_all! (range 4 7 1) (at (ptr li1)))
(add_all! (range 8 10 1) li1)
-(assert (= (var li0) (var li1)) [FAILED] (var test_name) equality.)
+(assert! (= (var li0) (var li1)) [FAILED] (var test_name) equality.)
-(assert (= (var li0.0) (var li1.0) 0) [FAILED] (var test_name) at 0: (var li0.1), (var li1.0).)
-(assert (= (var li0.1) (var li1.1) 1) [FAILED] (var test_name) at 1: (var li0.1), (var li1.1).)
-(assert (= (var li0.2) (var li1.2) 2) [FAILED] (var test_name) at 2: (var li0.2), (var li1.2).)
-(assert (= (var li0.3) (var li1.3) 3) [FAILED] (var test_name) at 3: (var li0.3), (var li1.3).)
-(assert (= (var li0.4) (var li1.4) 4) [FAILED] (var test_name) at 4: (var li0.4), (var li1.4).)
-(assert (= (var li0.5) (var li1.5) 5) [FAILED] (var test_name) at 5: (var li0.5), (var li1.5).)
-(assert (= (var li0.6) (var li1.6) 6) [FAILED] (var test_name) at 6: (var li0.6), (var li1.6).)
-(assert (= (var li0.7) (var li1.7) 7) [FAILED] (var test_name) at 7: (var li0.7), (var li1.7).)
+(assert! (= (var li0.0) (var li1.0) 0) [FAILED] (var test_name) at 0: (var li0.1), (var li1.0).)
+(assert! (= (var li0.1) (var li1.1) 1) [FAILED] (var test_name) at 1: (var li0.1), (var li1.1).)
+(assert! (= (var li0.2) (var li1.2) 2) [FAILED] (var test_name) at 2: (var li0.2), (var li1.2).)
+(assert! (= (var li0.3) (var li1.3) 3) [FAILED] (var test_name) at 3: (var li0.3), (var li1.3).)
+(assert! (= (var li0.4) (var li1.4) 4) [FAILED] (var test_name) at 4: (var li0.4), (var li1.4).)
+(assert! (= (var li0.5) (var li1.5) 5) [FAILED] (var test_name) at 5: (var li0.5), (var li1.5).)
+(assert! (= (var li0.6) (var li1.6) 6) [FAILED] (var test_name) at 6: (var li0.6), (var li1.6).)
+(assert! (= (var li0.7) (var li1.7) 7) [FAILED] (var test_name) at 7: (var li0.7), (var li1.7).)
(add_all! (range 11 20 1) li0)
(add_all! (range 11 20 1) li1)
@@ -38,7 +38,7 @@
(global (set int) si0)
(global (set int) si1)
-(set si0
+(set! si0
(add_all (range 0 10 2)
(add_all (range 11 20 2)
(add_all (range 1 10 2)
@@ -55,8 +55,8 @@
(add_all! (range 1 10 2) si1)
(add_all! (range 12 20 2) si1)
-(assert (= (var li0) (var li1) (var si0) (var si1)) [FAILED] (var test_name) equality 2.)
+(assert! (= (var li0) (var li1) (var si0) (var si1)) [FAILED] (var test_name) equality 2.)
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/allocate_and_free.fate b/data/unit-testing/allocate_and_free.fate
index 56c7d6b..cf05414 100644
--- a/data/unit-testing/allocate_and_free.fate
+++ b/data/unit-testing/allocate_and_free.fate
@@ -1,15 +1,16 @@
(fate_version 1)
(local (ptr int) p0)
-(allocate p0)
-(set (at p0) 72)
-(assert (= (at p0) 72)
+(allocate! p0)
+(set! (at p0) 72)
+
+(assert! (= (at p0) 72)
[FAILED] Test 0
)
-(free (at p0))
+(free! (at p0))
[COMPLETED]
-(end)
+(end!)
diff --git a/data/unit-testing/cast.fate b/data/unit-testing/cast.fate
index 94b8beb..519220f 100644
--- a/data/unit-testing/cast.fate
+++ b/data/unit-testing/cast.fate
@@ -2,32 +2,32 @@
(global string test_name)
-(set test_name ( CAST ))
+(set! test_name ( CAST ))
(global int i)
(global float f)
(global string s)
-(set i (cast int ( 42 )))
+(set! i (cast int ( 42 )))
-(assert (= (var i) 42) [FAILED] (var test_name) equality 1: (var i).)
+(assert! (= (var i) 42) [FAILED] (var test_name) equality 1: (var i).)
-(set f (cast float ( 42.57 )))
+(set! f (cast float ( 42.57 )))
-(assert (= (var f) 42.57) [FAILED] (var test_name) equality 2: (var f).)
+(assert! (= (var f) 42.57) [FAILED] (var test_name) equality 2: (var f).)
-(assert (= (var i) 42 (cast int (var f))) [FAILED] (var test_name) equality 3: (cast int (var f)).)
+(assert! (= (var i) 42 (cast int (var f))) [FAILED] (var test_name) equality 3: (cast int (var f)).)
;; TO INT
-(assert (= 42 (cast int 42.72)) [FAILED] (var test_name) float->int: (cast int 42.72).)
-(assert (= 42 (cast int (+ 40.70 2.02))) [FAILED] (var test_name) extra float->int: (cast int (+ 40.70 2.02)).)
-(assert (= 42 (cast int 42)) [FAILED] (var test_name) int->int: (cast int 42).)
-(assert (= 42 (cast int (+ 40 2))) [FAILED] (var test_name) extra int->int: (cast int (+ 40 2)).)
-(assert (= 42 (cast int ( 42 ))) [FAILED] (var test_name) string->int: (cast int ( 42 )).)
+(assert! (= 42 (cast int 42.72)) [FAILED] (var test_name) float->int: (cast int 42.72).)
+(assert! (= 42 (cast int (+ 40.70 2.02))) [FAILED] (var test_name) extra float->int: (cast int (+ 40.70 2.02)).)
+(assert! (= 42 (cast int 42)) [FAILED] (var test_name) int->int: (cast int 42).)
+(assert! (= 42 (cast int (+ 40 2))) [FAILED] (var test_name) extra int->int: (cast int (+ 40 2)).)
+(assert! (= 42 (cast int ( 42 ))) [FAILED] (var test_name) string->int: (cast int ( 42 )).)
;; TO FLOAT
-(assert
+(assert!
(>
0.05
(abs
@@ -39,7 +39,7 @@
)
[FAILED] (var test_name) float->float: (cast float 42.72).
)
-(assert
+(assert!
(> 0.05
(abs
(-
@@ -50,9 +50,9 @@
)
[FAILED] (var test_name) extra float->float: (cast float (+ 40.70 2.02)).
)
-(assert (= 42.0 (cast float 42)) [FAILED] (var test_name) int->float: (cast float 42).)
-(assert (= 42.0 (cast float (+ 40 2))) [FAILED] (var test_name) extra float->float: (cast float (+ 40 2)).)
-(assert
+(assert! (= 42.0 (cast float 42)) [FAILED] (var test_name) int->float: (cast float 42).)
+(assert! (= 42.0 (cast float (+ 40 2))) [FAILED] (var test_name) extra float->float: (cast float (+ 40 2)).)
+(assert!
(> 0.05
(abs
(-
@@ -65,14 +65,14 @@
)
;; TO BOOL
-(assert (= (true) (cast bool (true))) [FAILED] (var test_name) bool->bool: (cast bool (true)).)
-(assert (= (true) (cast bool (or (true) (false)))) [FAILED] (var test_name) extra bool->bool: (cast bool (or (true) (false))).)
-(assert (= (true) (cast bool ( true ))) [FAILED] (var test_name) string->bool: (cast bool ( true )).)
+(assert! (= (true) (cast bool (true))) [FAILED] (var test_name) bool->bool: (cast bool (true)).)
+(assert! (= (true) (cast bool (or (true) (false)))) [FAILED] (var test_name) extra bool->bool: (cast bool (or (true) (false))).)
+(assert! (= (true) (cast bool ( true ))) [FAILED] (var test_name) string->bool: (cast bool ( true )).)
;; TO STRING
-(assert (= ( 42 ) (cast string 42)) [FAILED] (var test_name) int->string: (cast string 42).)
-(assert (= ( 42 ) (cast string (+ 40 2))) [FAILED] (var test_name) extra int->string: (cast string (+ 40 2)).)
-(assert
+(assert! (= ( 42 ) (cast string 42)) [FAILED] (var test_name) int->string: (cast string 42).)
+(assert! (= ( 42 ) (cast string (+ 40 2))) [FAILED] (var test_name) extra int->string: (cast string (+ 40 2)).)
+(assert!
(> 0.05
(abs
(-
@@ -83,7 +83,7 @@
)
[FAILED] (var test_name) float->string: (cast string 42.72).
)
-(assert
+(assert!
(> 0.05
(abs
(-
@@ -94,10 +94,10 @@
)
[FAILED] (var test_name) extra float->string: (cast string (+ 40.7 2.02)).
)
-(assert (= ( true ) (cast string (true))) [FAILED] (var test_name) bool->string: (cast string (true)).)
-(assert (= ( true ) (cast string (or (true) (false)))) [FAILED] (var test_name) extra bool->string: (cast string (true)).)
-(assert (= ( something ) (cast string ( something ))) [FAILED] (var test_name) string->string: (cast string ( something )).)
+(assert! (= ( true ) (cast string (true))) [FAILED] (var test_name) bool->string: (cast string (true)).)
+(assert! (= ( true ) (cast string (or (true) (false)))) [FAILED] (var test_name) extra bool->string: (cast string (true)).)
+(assert! (= ( something ) (cast string ( something ))) [FAILED] (var test_name) string->string: (cast string ( something )).)
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/cond.fate b/data/unit-testing/cond.fate
index 0eae815..1e73c8f 100644
--- a/data/unit-testing/cond.fate
+++ b/data/unit-testing/cond.fate
@@ -2,7 +2,7 @@
(global string test_name)
-(set test_name ( COND ))
+(set! test_name ( COND ))
(global bool test)
@@ -11,138 +11,138 @@
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(cond
((false)
- (assert (false) [FAILED] (var test_name) Reached dead code 0.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 0.)
)
)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-(set test (false))
+(set! test (false))
(cond
((true)
- (set test (true))
+ (set! test (true))
)
)
-(assert test [FAILED] (var test_name) Ignored correct branch 0.)
+(assert! test [FAILED] (var test_name) Ignored correct branch 0.)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-(set test (false))
+(set! test (false))
(cond
((false)
- (assert (false) [FAILED] (var test_name) Reached dead code 1.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 1.)
)
((false)
- (assert (false) [FAILED] (var test_name) Reached dead code 2.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 2.)
)
((true)
- (set test (true))
+ (set! test (true))
)
((false)
- (assert (false) [FAILED] (var test_name) Reached dead code 3.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 3.)
)
)
-(assert test [FAILED] (var test_name) Ignored correct branch 1.)
+(assert! test [FAILED] (var test_name) Ignored correct branch 1.)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-(set test (false))
+(set! test (false))
(cond
((false)
- (assert (false) [FAILED] (var test_name) Reached dead code 4.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 4.)
)
((false)
- (assert (false) [FAILED] (var test_name) Reached dead code 5.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 5.)
)
((true)
- (set test (true))
+ (set! test (true))
)
((true)
- (assert (false) [FAILED] (var test_name) Reached dead code 6.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 6.)
)
((false)
- (assert (false) [FAILED] (var test_name) Reached dead code 7.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 7.)
)
)
-(assert test [FAILED] (var test_name) Ignored correct branch 2.)
+(assert! test [FAILED] (var test_name) Ignored correct branch 2.)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-(set test (false))
+(set! test (false))
(cond
((false)
- (assert (false) [FAILED] (var test_name) Reached dead code 8.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 8.)
)
((false)
- (assert (false) [FAILED] (var test_name) Reached dead code 9.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 9.)
)
((true)
- (set test (true))
+ (set! test (true))
)
((true)
- (assert (false) [FAILED] (var test_name) Reached dead code 10.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 10.)
)
)
-(assert test [FAILED] (var test_name) Ignored correct branch 3.)
+(assert! test [FAILED] (var test_name) Ignored correct branch 3.)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-(set test (false))
+(set! test (false))
(cond
((false)
(cond
((true)
- (assert (false) [FAILED] (var test_name) Reached dead code 11.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 11.)
)
)
)
((false)
(cond
((true)
- (assert (false) [FAILED] (var test_name) Reached dead code 12.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 12.)
)
)
)
((true)
(cond
((true)
- (set test (true))
+ (set! test (true))
)
((false)
- (assert (false) [FAILED] (var test_name) Reached dead code 13.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 13.)
)
)
)
((true)
(cond
((true)
- (assert (false) [FAILED] (var test_name) Reached dead code 14.)
+ (assert! (false) [FAILED] (var test_name) Reached dead code 14.)
)
)
)
)
-(assert test [FAILED] (var test_name) Ignored correct branch 4.)
+(assert! test [FAILED] (var test_name) Ignored correct branch 4.)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;; COMPUTATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-(assert
+(assert!
(cond ((false) (true)))
[FAILED] (var test_name) Questionable default value.
)
-(assert
+(assert!
(cond ((true) (true)))
[FAILED] (var test_name) Simple computation test 0.
)
-(assert
+(assert!
(cond
((false) (true))
((true) (true))
@@ -150,7 +150,7 @@
[FAILED] (var test_name) Simple computation test 1.
)
-(assert
+(assert!
(cond
((true) (true))
((false) (true))
@@ -158,7 +158,7 @@
[FAILED] (var test_name) Simple computation test 2.
)
-(assert
+(assert!
(cond
(
(cond
@@ -176,4 +176,4 @@
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/cons_car_cdr.fate b/data/unit-testing/cons_car_cdr.fate
index 7187f6a..a555cc0 100644
--- a/data/unit-testing/cons_car_cdr.fate
+++ b/data/unit-testing/cons_car_cdr.fate
@@ -2,33 +2,33 @@
(global string test_name)
-(set test_name ( CONS CAR CDR ))
+(set! test_name ( CONS CAR CDR ))
-(assert (= (car (cons 1 (cons 2 (cons 3 (cons 4 5))))) 1)
+(assert! (= (car (cons 1 (cons 2 (cons 3 (cons 4 5))))) 1)
[FAILED] (var test_name) test 1: (car (cons 1 (cons 2 (cons 3 (cons 4 5))))).
)
-(assert (= (car (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))) 2)
+(assert! (= (car (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))) 2)
[FAILED] (var test_name) test 2:
(car (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))).
)
-(assert (= (car (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5))))))) 3)
+(assert! (= (car (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5))))))) 3)
[FAILED] (var test_name) test 3:
(car (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5))))))).
)
-(assert (= (car (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))) 4)
+(assert! (= (car (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))) 4)
[FAILED] (var test_name) test 4:
(car (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))).
)
-(assert (= (cdr (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))) 5)
+(assert! (= (cdr (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))) 5)
[FAILED] (var test_name) test 5:
(cdr (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))).
)
-(assert (= (car (cons test 0)) test)
+(assert! (= (car (cons test 0)) test)
[FAILED] (var test_name) test string:
(car (cons test 0))
)
@@ -36,16 +36,16 @@
(global (cons float string) cfs)
(global (cons float string) cfs2)
-(set cfs (cons 3.14 pi))
+(set! cfs (cons 3.14 pi))
-(assert (= (car cfs) 3.14) [FAILED] (var test_name) test 3.14: (car cfs).)
-(assert (= (cdr cfs) pi) [FAILED] (var test_name) test pi: (cdr cfs).)
+(assert! (= (car cfs) 3.14) [FAILED] (var test_name) test 3.14: (car cfs).)
+(assert! (= (cdr cfs) pi) [FAILED] (var test_name) test pi: (cdr cfs).)
-(set cfs2 (cons (car cfs) (cdr cfs)))
+(set! cfs2 (cons (car cfs) (cdr cfs)))
-(assert (= (var cfs2) (var cfs)) [FAILED] (var test_name) equality.)
+(assert! (= (var cfs2) (var cfs)) [FAILED] (var test_name) equality.)
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/count.fate b/data/unit-testing/count.fate
index 99fed3d..2c54998 100644
--- a/data/unit-testing/count.fate
+++ b/data/unit-testing/count.fate
@@ -2,9 +2,9 @@
(global string test_name)
-(set test_name ( COUNT ))
+(set! test_name ( COUNT ))
-(assert (= (count 10 (range 0 60 1)) 1)
+(assert! (= (count 10 (range 0 60 1)) 1)
[FAILED] (var test_name) Failed to find 10 in range 0 60 1.
)
@@ -15,7 +15,7 @@
(add_all! (range 0 10 1) li)
(add_all! (range 0 10 1) li)
-(assert (= (count 10 li) 4)
+(assert! (= (count 10 li) 4)
[FAILED] (var test_name) Failed to find 10 four times in li.
)
@@ -26,7 +26,7 @@
(add_all! (range 0 10 1) si)
(add_all! (range 0 10 1) si)
-(assert (= (count 10 si) 1)
+(assert! (= (count 10 si) 1)
[FAILED] (var test_name) Failed to find 10 exactly once in si.
)
@@ -37,7 +37,7 @@
(add! test2 ls)
(add! test3 ls)
-(assert (= (count test0 ls) 1)
+(assert! (= (count test0 ls) 1)
[FAILED] (var test_name) Failed to find test0 exactly once in ls.
)
@@ -54,25 +54,25 @@
(add! test2 ls)
(add! test3 ls)
-(assert (= (count test0 ls) 4)
+(assert! (= (count test0 ls) 4)
[FAILED] (var test_name) Failed to find test0 four times in ls.
)
(global (list bool) lb)
(local int i)
-(for (set i 0) (=< i 10) (set i (+ i 1))
+(for (set! i 0) (=< i 10) (set! i (+ i 1))
(add! (= (mod i 2) 0) lb)
)
-(assert (= (count (true) lb) 6)
+(assert! (= (count (true) lb) 6)
[FAILED] (var test_name) Failed to find six even numbers.
)
-(assert (= (count (false) lb) 5)
+(assert! (= (count (false) lb) 5)
[FAILED] (var test_name) Failed to find four odd numbers.
)
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/field_access.fate b/data/unit-testing/field_access.fate
index 715e706..eaedc3a 100644
--- a/data/unit-testing/field_access.fate
+++ b/data/unit-testing/field_access.fate
@@ -2,7 +2,7 @@
(global string test_name)
-(set test_name ( FIELD ACCESS ))
+(set! test_name ( FIELD ACCESS ))
(declare_structure test_struct_type0
(int i)
@@ -59,7 +59,7 @@
(lts (add (var ts0_0) (add (var ts0_1) (default (list test_struct_type0)))))
)
-(set ts2_0
+(set! ts2_0
(set_fields (default test_struct_type2)
(i -1337)
(ts0 (var ts0_0))
@@ -67,7 +67,7 @@
)
)
-(assert
+(assert!
(= (get_field i ts0_0) (var ts0_0.i) (get_field k ts0_1) (var ts0_1.k) 42)
[FAILED] (var test_name) Test 0.
(newline)
@@ -76,7 +76,7 @@
ts0_1.k = (var ts0_1.k)
)
-(assert
+(assert!
(= (get_field i ts0_1) (var ts0_1.i) (get_field k ts0_0) (var ts0_0.k) 420)
[FAILED] (var test_name) Test 1.
(newline)
@@ -85,7 +85,7 @@
ts0_1.i = (var ts0_1.i)
)
-(assert
+(assert!
(=
(field i ts0_1)
(get_field i (set_fields ts1_0 (i 420)))
@@ -97,4 +97,4 @@
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/filter.fate b/data/unit-testing/filter.fate
index 8d85ee3..7fc1ea8 100644
--- a/data/unit-testing/filter.fate
+++ b/data/unit-testing/filter.fate
@@ -2,15 +2,15 @@
(global string test_name)
-(set test_name ( FILTER ))
+(set! test_name ( FILTER ))
(global (list int) 0to10)
(global (list int) 0to10odd)
(global (list int) 0to10even)
-(set 0to10 (range 0 10 1))
+(set! 0to10 (range 0 10 1))
-(set 0to10odd
+(set! 0to10odd
(filter
(lambda ((int i) (int two) (int one)) (= (mod i two) (var one)))
0to10
@@ -21,62 +21,62 @@
(local (lambda bool (int)) filter_fun)
-(set filter_fun (lambda ((int i)) (= (mod i 2) 0)))
-(set 0to10even
+(set! filter_fun (lambda ((int i)) (= (mod i 2) 0)))
+(set! 0to10even
(filter filter_fun 0to10)
)
-(assert
+(assert!
(= 0 (var 0to10even.0))
[FAILED] (var test_name) Failed 0to10even.0: (var 0to10even.0).
)
-(assert
+(assert!
(= 1 (var 0to10odd.0))
[FAILED] (var test_name) Failed 0to10odd.0: (var 0to10odd.0).
)
-(assert
+(assert!
(= 2 (var 0to10even.1))
[FAILED] (var test_name) Failed 0to10even.1: (var 0to10even.1).
)
-(assert
+(assert!
(= 3 (var 0to10odd.1))
[FAILED] (var test_name) Failed 0to10odd.1: (var 0to10odd.1).
)
-(assert
+(assert!
(= 4 (var 0to10even.2))
[FAILED] (var test_name) Failed 0to10even.2: (var 0to10even.2).
)
-(assert
+(assert!
(= 5 (var 0to10odd.2))
[FAILED] (var test_name) Failed 0to10odd.2: (var 0to10odd.2).
)
-(assert
+(assert!
(= 6 (var 0to10even.3))
[FAILED] (var test_name) Failed 0to10even.3: (var 0to10even.3).
)
-(assert
+(assert!
(= 7 (var 0to10odd.3))
[FAILED] (var test_name) Failed 0to10odd.3: (var 0to10odd.3).
)
-(assert
+(assert!
(= 8 (var 0to10even.4))
[FAILED] (var test_name) Failed 0to10even.4: (var 0to10even.4).
)
-(assert
+(assert!
(= 9 (var 0to10odd.4))
[FAILED] (var test_name) Failed 0to10odd.4: (var 0to10odd.4).
)
-(assert
+(assert!
(= 10 (var 0to10even.5))
[FAILED] (var test_name) Failed 0to10even.5: (var 0to10even.5).
)
@@ -84,8 +84,8 @@
(global (list int) 0to10odd2)
(global (list int) 0to10even2)
-(set 0to10odd2 (var 0to10))
-(set 0to10even2 (var 0to10))
+(set! 0to10odd2 (var 0to10))
+(set! 0to10even2 (var 0to10))
(filter!
(lambda ((int i) (int two) (int one)) (= (mod i two) (var one)))
@@ -96,62 +96,62 @@
(filter! filter_fun 0to10even2)
-(assert
+(assert!
(= 0 (var 0to10even2.0))
[FAILED] (var test_name) Failed 0to10even2.0: (var 0to10even2.0).
)
-(assert
+(assert!
(= 1 (var 0to10odd2.0))
[FAILED] (var test_name) Failed 0to10odd2.0: (var 0to10odd2.0).
)
-(assert
+(assert!
(= 2 (var 0to10even2.1))
[FAILED] (var test_name) Failed 0to10even2.1: (var 0to10even2.1).
)
-(assert
+(assert!
(= 3 (var 0to10odd2.1))
[FAILED] (var test_name) Failed 0to10odd2.1: (var 0to10odd2.1).
)
-(assert
+(assert!
(= 4 (var 0to10even2.2))
[FAILED] (var test_name) Failed 0to10even2.2: (var 0to10even2.2).
)
-(assert
+(assert!
(= 5 (var 0to10odd2.2))
[FAILED] (var test_name) Failed 0to10odd2.2: (var 0to10odd2.2).
)
-(assert
+(assert!
(= 6 (var 0to10even2.3))
[FAILED] (var test_name) Failed 0to10even2.3: (var 0to10even2.3).
)
-(assert
+(assert!
(= 7 (var 0to10odd2.3))
[FAILED] (var test_name) Failed 0to10odd2.3: (var 0to10odd2.3).
)
-(assert
+(assert!
(= 8 (var 0to10even2.4))
[FAILED] (var test_name) Failed 0to10even2.4: (var 0to10even2.4).
)
-(assert
+(assert!
(= 9 (var 0to10odd2.4))
[FAILED] (var test_name) Failed 0to10odd2.4: (var 0to10odd2.4).
)
-(assert
+(assert!
(= 10 (var 0to10even2.5))
[FAILED] (var test_name) Failed 0to10even2.5: (var 0to10even2.5).
)
-(set 0to10odd
+(set! 0to10odd
(indexed_filter
(lambda ((int ix) (int i) (int two) (int one)) (= (mod i two) (var one)))
0to10
@@ -162,66 +162,66 @@
(local (lambda bool (int int)) indexed_filter_fun)
-(set indexed_filter_fun (lambda ((int ix) (int i)) (= (mod i 2) 0)))
-(set 0to10even (indexed_filter indexed_filter_fun 0to10))
+(set! indexed_filter_fun (lambda ((int ix) (int i)) (= (mod i 2) 0)))
+(set! 0to10even (indexed_filter indexed_filter_fun 0to10))
-(assert
+(assert!
(= 0 (var 0to10even.0))
[FAILED] (var test_name) Failed indexed 0to10even.0: (var 0to10even.0).
)
-(assert
+(assert!
(= 1 (var 0to10odd.0))
[FAILED] (var test_name) Failed indexed 0to10odd.0: (var 0to10odd.0).
)
-(assert
+(assert!
(= 2 (var 0to10even.1))
[FAILED] (var test_name) Failed indexed 0to10even.1: (var 0to10even.1).
)
-(assert
+(assert!
(= 3 (var 0to10odd.1))
[FAILED] (var test_name) Failed indexed 0to10odd.1: (var 0to10odd.1).
)
-(assert
+(assert!
(= 4 (var 0to10even.2))
[FAILED] (var test_name) Failed indexed 0to10even.2: (var 0to10even.2).
)
-(assert
+(assert!
(= 5 (var 0to10odd.2))
[FAILED] (var test_name) Failed indexed 0to10odd.2: (var 0to10odd.2).
)
-(assert
+(assert!
(= 6 (var 0to10even.3))
[FAILED] (var test_name) Failed indexed 0to10even.3: (var 0to10even.3).
)
-(assert
+(assert!
(= 7 (var 0to10odd.3))
[FAILED] (var test_name) Failed indexed 0to10odd.3: (var 0to10odd.3).
)
-(assert
+(assert!
(= 8 (var 0to10even.4))
[FAILED] (var test_name) Failed indexed 0to10even.4: (var 0to10even.4).
)
-(assert
+(assert!
(= 9 (var 0to10odd.4))
[FAILED] (var test_name) Failed indexed 0to10odd.4: (var 0to10odd.4).
)
-(assert
+(assert!
(= 10 (var 0to10even.5))
[FAILED] (var test_name) Failed indexed 0to10even.5: (var 0to10even.5).
)
-(set 0to10odd2 (var 0to10))
-(set 0to10even2 (var 0to10))
+(set! 0to10odd2 (var 0to10))
+(set! 0to10even2 (var 0to10))
(indexed_filter!
(lambda ((int ix) (int i) (int two) (int one)) (= (mod i two) (var one)))
@@ -232,57 +232,57 @@
(indexed_filter! indexed_filter_fun 0to10even2)
-(assert
+(assert!
(= 0 (var 0to10even2.0))
[FAILED] (var test_name) Failed indexed 0to10even2.0: (var 0to10even2.0).
)
-(assert
+(assert!
(= 1 (var 0to10odd2.0))
[FAILED] (var test_name) Failed indexed 0to10odd2.0: (var 0to10odd2.0).
)
-(assert
+(assert!
(= 2 (var 0to10even2.1))
[FAILED] (var test_name) Failed indexed 0to10even2.1: (var 0to10even2.1).
)
-(assert
+(assert!
(= 3 (var 0to10odd2.1))
[FAILED] (var test_name) Failed indexed 0to10odd2.1: (var 0to10odd2.1).
)
-(assert
+(assert!
(= 4 (var 0to10even2.2))
[FAILED] (var test_name) Failed indexed 0to10even2.2: (var 0to10even2.2).
)
-(assert
+(assert!
(= 5 (var 0to10odd2.2))
[FAILED] (var test_name) Failed indexed 0to10odd2.2: (var 0to10odd2.2).
)
-(assert
+(assert!
(= 6 (var 0to10even2.3))
[FAILED] (var test_name) Failed indexed 0to10even2.3: (var 0to10even2.3).
)
-(assert
+(assert!
(= 7 (var 0to10odd2.3))
[FAILED] (var test_name) Failed indexed 0to10odd2.3: (var 0to10odd2.3).
)
-(assert
+(assert!
(= 8 (var 0to10even2.4))
[FAILED] (var test_name) Failed indexed 0to10even2.4: (var 0to10even2.4).
)
-(assert
+(assert!
(= 9 (var 0to10odd2.4))
[FAILED] (var test_name) Failed indexed 0to10odd2.4: (var 0to10odd2.4).
)
-(assert
+(assert!
(= 10 (var 0to10even2.5))
[FAILED] (var test_name) Failed indexed 0to10even2.5: (var 0to10even2.5).
)
@@ -290,10 +290,10 @@
(global (list int) oli0)
(global (list int) oli1)
-(set oli0 (range -10 10 1))
-(set oli1 (var oli0))
+(set! oli0 (range -10 10 1))
+(set! oli1 (var oli0))
-(set oli0
+(set! oli0
(indexed_filter
(lambda ((int ix) (int i))
(exactly_one
@@ -316,56 +316,56 @@
(range 1 21 2)
)
-(assert
+(assert!
(= -9 (var oli0.0) (var oli1.0))
[FAILED] (var test_name) Failed indexed filter -9: (var oli0.0), (var oli1.0)
)
-(assert
+(assert!
(= -7 (var oli0.1) (var oli1.1))
[FAILED] (var test_name) Failed indexed filter -7: (var oli0.1), (var oli1.1)
)
-(assert
+(assert!
(= -5 (var oli0.2) (var oli1.2))
[FAILED] (var test_name) Failed indexed filter -5: (var oli0.2), (var oli1.2)
)
-(assert
+(assert!
(= -3 (var oli0.3) (var oli1.3))
[FAILED] (var test_name) Failed indexed filter -3: (var oli0.3), (var oli1.3)
)
-(assert
+(assert!
(= -1 (var oli0.4) (var oli1.4))
[FAILED] (var test_name) Failed indexed filter -1: (var oli0.4), (var oli1.4)
)
-(assert
+(assert!
(= 2 (var oli0.5) (var oli1.5))
[FAILED] (var test_name) Failed indexed filter 2: (var oli0.5), (var oli1.5)
)
-(assert
+(assert!
(= 4 (var oli0.6) (var oli1.6))
[FAILED] (var test_name) Failed indexed filter 4: (var oli0.6), (var oli1.6)
)
-(assert
+(assert!
(= 6 (var oli0.7) (var oli1.7))
[FAILED] (var test_name) Failed indexed filter 6: (var oli0.7), (var oli1.7)
)
-(assert
+(assert!
(= 8 (var oli0.8) (var oli1.8))
[FAILED] (var test_name) Failed indexed filter 8: (var oli0.8), (var oli1.8)
)
-(assert
+(assert!
(= 10 (var oli0.9) (var oli1.9))
[FAILED] (var test_name) Failed indexed filter 9: (var oli0.9), (var oli1.9)
)
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/fold.fate b/data/unit-testing/fold.fate
index f064714..662ec3c 100644
--- a/data/unit-testing/fold.fate
+++ b/data/unit-testing/fold.fate
@@ -2,13 +2,13 @@
(global string test_name)
-(set test_name ( FOLD ))
+(set! test_name ( FOLD ))
(global (list int) 0to10)
-(set 0to10 (range 0 10 1))
+(set! 0to10 (range 0 10 1))
-(assert
+(assert!
(= 55
(foldl
(lambda ((int res) (int e)) (+ res e))
@@ -41,7 +41,7 @@
(global (list int) 10to0_0)
(global (list int) 10to0_1)
-(set 10to0_0
+(set! 10to0_0
(foldr
(lambda (((list int) res) (int e))
(add (- e 10) res)
@@ -51,7 +51,7 @@
)
)
-(set 10to0_1
+(set! 10to0_1
(foldr
(lambda (((list int) res) (int e) (int mod))
(add (- e mod) res)
@@ -62,67 +62,67 @@
)
)
-(assert
+(assert!
(= 10 (var 10to0_0.0) (var 10to0_1.0))
[FAILED] (var test_name) 10to0.0:(newline)
(var 10to0_0.0), (var 10to0_1.0)
)
-(assert
+(assert!
(= 9 (var 10to0_0.1) (var 10to0_1.1))
[FAILED] (var test_name) 10to0.1:(newline)
(var 10to0_0.1), (var 10to0_1.1)
)
-(assert
+(assert!
(= 8 (var 10to0_0.2) (var 10to0_1.2))
[FAILED] (var test_name) 10to0.2:(newline)
(var 10to0_0.2), (var 10to0_1.2)
)
-(assert
+(assert!
(= 7 (var 10to0_0.3) (var 10to0_1.3))
[FAILED] (var test_name) 10to0.3:(newline)
(var 10to0_0.3), (var 10to0_1.3)
)
-(assert
+(assert!
(= 6 (var 10to0_0.4) (var 10to0_1.4))
[FAILED] (var test_name) 10to0.4:(newline)
(var 10to0_0.4), (var 10to0_1.4)
)
-(assert
+(assert!
(= 5 (var 10to0_0.5) (var 10to0_1.5))
[FAILED] (var test_name) 10to0.5:(newline)
(var 10to0_0.5), (var 10to0_1.5)
)
-(assert
+(assert!
(= 4 (var 10to0_0.6) (var 10to0_1.6))
[FAILED] (var test_name) 10to0.6:(newline)
(var 10to0_0.6), (var 10to0_1.6)
)
-(assert
+(assert!
(= 3 (var 10to0_0.7) (var 10to0_1.7))
[FAILED] (var test_name) 10to0.7:(newline)
(var 10to0_0.7), (var 10to0_1.7)
)
-(assert
+(assert!
(= 2 (var 10to0_0.8) (var 10to0_1.8))
[FAILED] (var test_name) 10to0.8:(newline)
(var 10to0_0.8), (var 10to0_1.8)
)
-(assert
+(assert!
(= 1 (var 10to0_0.9) (var 10to0_1.9))
[FAILED] (var test_name) 10to0.9:(newline)
(var 10to0_0.9), (var 10to0_1.9)
)
-(assert
+(assert!
(= 0 (var 10to0_0.10) (var 10to0_1.10))
[FAILED] (var test_name) 10to0.10:(newline)
(var 10to0_0.10), (var 10to0_1.10)
@@ -131,7 +131,7 @@
(global (list int) 10to20_0)
(global (list int) 10to20_1)
-(set 10to20_0
+(set! 10to20_0
(foldl
(lambda (((list int) res) (int e))
(add (- e 10) res)
@@ -141,7 +141,7 @@
)
)
-(set 10to20_1
+(set! 10to20_1
(foldl
(lambda (((list int) res) (int e) (int mod))
(add (- e mod) res)
@@ -152,67 +152,67 @@
)
)
-(assert
+(assert!
(= 10 (var 10to20_0.0) (var 10to20_1.0))
[FAILED] (var test_name) 10to20.0: (newline)
(var 10to20_0.0), (var 10to20_1.0)
)
-(assert
+(assert!
(= 11 (var 10to20_0.1) (var 10to20_1.1))
[FAILED] (var test_name) 10to20.1: (newline)
(var 10to20_0.1), (var 10to20_1.1)
)
-(assert
+(assert!
(= 12 (var 10to20_0.2) (var 10to20_1.2))
[FAILED] (var test_name) 10to20.2: (newline)
(var 10to20_0.2), (var 10to20_1.2)
)
-(assert
+(assert!
(= 13 (var 10to20_0.3) (var 10to20_1.3))
[FAILED] (var test_name) 10to20.3: (newline)
(var 10to20_0.3), (var 10to20_1.3)
)
-(assert
+(assert!
(= 14 (var 10to20_0.4) (var 10to20_1.4))
[FAILED] (var test_name) 10to20.4: (newline)
(var 10to20_0.4), (var 10to20_1.4)
)
-(assert
+(assert!
(= 15 (var 10to20_0.5) (var 10to20_1.5))
[FAILED] (var test_name) 10to20.5: (newline)
(var 10to20_0.5), (var 10to20_1.5)
)
-(assert
+(assert!
(= 16 (var 10to20_0.6) (var 10to20_1.6))
[FAILED] (var test_name) 10to20.6: (newline)
(var 10to20_0.6), (var 10to20_1.6)
)
-(assert
+(assert!
(= 17 (var 10to20_0.7) (var 10to20_1.7))
[FAILED] (var test_name) 10to20.7: (newline)
(var 10to20_0.7), (var 10to20_1.7)
)
-(assert
+(assert!
(= 18 (var 10to20_0.8) (var 10to20_1.8))
[FAILED] (var test_name) 10to20.8: (newline)
(var 10to20_0.8), (var 10to20_1.8)
)
-(assert
+(assert!
(= 19 (var 10to20_0.9) (var 10to20_1.9))
[FAILED] (var test_name) 10to20.9: (newline)
(var 10to20_0.9), (var 10to20_1.9)
)
-(assert
+(assert!
(= 20 (var 10to20_0.10) (var 10to20_1.10))
[FAILED] (var test_name) 10to20.10: (newline)
(var 10to20_0.10), (var 10to20_1.10)
@@ -220,4 +220,4 @@
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/ifelse.fate b/data/unit-testing/ifelse.fate
index e06be4d..34bc4f0 100644
--- a/data/unit-testing/ifelse.fate
+++ b/data/unit-testing/ifelse.fate
@@ -2,50 +2,50 @@
(global string test_name)
-(set test_name ( IF ELSE ))
+(set! test_name ( IF ELSE ))
(if (false)
- (assert (false) [FAILED] (var test_name) Executing dead code 0.)
+ (assert! (false) [FAILED] (var test_name) Executing dead code 0.)
)
(global bool test)
-(set test (false))
+(set! test (false))
(ifelse (false)
- (assert (false) [FAILED] (var test_name) Executing dead code 1.)
- (set test (true))
+ (assert! (false) [FAILED] (var test_name) Executing dead code 1.)
+ (set! test (true))
)
-(assert test [FAILED] (var test_name) ignored valid branch 0.)
+(assert! test [FAILED] (var test_name) ignored valid branch 0.)
(if (false)
- (assert (false) [FAILED] (var test_name) Executing dead code 2.)
- (set test (false))
+ (assert! (false) [FAILED] (var test_name) Executing dead code 2.)
+ (set! test (false))
)
-(assert test [FAILED] (var test_name) Executing dead code 3.)
+(assert! test [FAILED] (var test_name) Executing dead code 3.)
-(set test
+(set! test
(ifelse (false)
(false)
(true)
)
)
-(assert test [FAILED] (var test_name) Executing dead code 4.)
+(assert! test [FAILED] (var test_name) Executing dead code 4.)
-(set test
+(set! test
(ifelse (true)
(true)
(false)
)
)
-(assert test [FAILED] (var test_name) Executing dead code 5.)
+(assert! test [FAILED] (var test_name) Executing dead code 5.)
-(assert
+(assert!
(=
(ifelse (= 8 (+ 4 4))
( valid string )
@@ -58,4 +58,4 @@
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/map.fate b/data/unit-testing/map.fate
index bea1ada..3d6c16c 100644
--- a/data/unit-testing/map.fate
+++ b/data/unit-testing/map.fate
@@ -2,28 +2,28 @@
(global string test_name)
-(set test_name ( MAP ))
+(set! test_name ( MAP ))
(global (list int) li0)
(global (list int) li1)
(global (list int) li2)
(global (list int) li3)
-(set li0
+(set! li0
(map
(lambda ((int i)) (* i 2))
(range 0 10 1)
)
)
-(set li1 (range 0 10 1))
+(set! li1 (range 0 10 1))
(map!
(lambda ((int i)) (* i 2))
li1
)
-(set li2
+(set! li2
(map
(lambda ((int i) (int mod)) (* i mod))
(range 0 10 1)
@@ -31,7 +31,7 @@
)
)
-(set li3 (range 0 10 1))
+(set! li3 (range 0 10 1))
(map!
(lambda ((int i) (int mod)) (* i mod))
@@ -39,78 +39,78 @@
2
)
-(assert
+(assert!
(= (var li1) (var li0) (var li2) (var li3))
[FAILED] (var test_name) Equality test 0.
)
-(assert
+(assert!
(= 0 (var li1.0) (var li0.0))
[FAILED] (var test_name) Test for 0: (var li1.0), (var li0.0).
)
-(assert
+(assert!
(= 2 (var li1.1) (var li0.1))
[FAILED] (var test_name) Test for 2: (var li1.1), (var li0.1).
)
-(assert
+(assert!
(= 4 (var li1.2) (var li0.2))
[FAILED] (var test_name) Test for 4: (var li1.2), (var li0.2).
)
-(assert
+(assert!
(= 6 (var li1.3) (var li0.3))
[FAILED] (var test_name) Test for 6: (var li1.3), (var li0.3).
)
-(assert
+(assert!
(= 8 (var li1.4) (var li0.4))
[FAILED] (var test_name) Test for 8: (var li1.4), (var li0.4).
)
-(assert
+(assert!
(= 10 (var li1.5) (var li0.5))
[FAILED] (var test_name) Test for 10: (var li1.5), (var li0.5).
)
-(assert
+(assert!
(= 12 (var li1.6) (var li0.6))
[FAILED] (var test_name) Test for 12: (var li1.6), (var li0.6).
)
-(assert
+(assert!
(= 14 (var li1.7) (var li0.7))
[FAILED] (var test_name) Test for 14: (var li1.7), (var li0.7).
)
-(assert
+(assert!
(= 16 (var li1.8) (var li0.8))
[FAILED] (var test_name) Test for 16: (var li1.8), (var li0.8).
)
-(assert
+(assert!
(= 18 (var li1.9) (var li0.9))
[FAILED] (var test_name) Test for 18: (var li1.9), (var li0.9).
)
-(assert
+(assert!
(= 20 (var li1.10) (var li0.10))
[FAILED] (var test_name) Test for 20: (var li1.10), (var li0.10).
)
-(clear li0)
-(clear li1)
-(clear li2)
-(clear li3)
+(clear! li0)
+(clear! li1)
+(clear! li2)
+(clear! li3)
-(set li0
+(set! li0
(indexed_map
(lambda ((int ix) (int i)) (+ (* i ix) 1000))
(range 10 20 1)
)
)
-(set li1 (range 10 20 1))
+(set! li1 (range 10 20 1))
(indexed_map!
(lambda ((int ix) (int i)) (+ (* i ix) 1000))
li1
)
-(set li2
+(set! li2
(indexed_map
(lambda ((int ix) (int i) (int mod)) (+ (* i ix) mod))
(range 10 20 1)
@@ -118,7 +118,7 @@
)
)
-(set li3 (range 10 20 1))
+(set! li3 (range 10 20 1))
(indexed_map!
(lambda ((int ix) (int i) (int mod)) (+ (* i ix) mod))
@@ -126,15 +126,15 @@
1000
)
-(assert
+(assert!
(= (var li1) (var li0) (var li2) (var li3))
[FAILED] (var test_name) Equality test 1.
)
(global int i)
-(for (set i 0) (=< i 10) (set i (+ i 1))
- (assert
+(for (set! i 0) (=< i 10) (set! i (+ i 1))
+ (assert!
(=
(access i li1) (access i li0) (access i li2) (access i li3)
(+ (* i (+ 10 i)) 1000)
@@ -146,4 +146,4 @@
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/merge.fate b/data/unit-testing/merge.fate
index 4915ff8..4989b47 100644
--- a/data/unit-testing/merge.fate
+++ b/data/unit-testing/merge.fate
@@ -2,7 +2,7 @@
(global string test_name)
-(set test_name ( MERGE ))
+(set! test_name ( MERGE ))
(local int i)
(local int j)
@@ -19,7 +19,7 @@
(global (list int) li1oa)
(global (list int) li1ob)
-(set li0
+(set! li0
(merge_to_list
(lambda
(
@@ -33,7 +33,7 @@
)
)
-(set li0oa
+(set! li0oa
(merge_to_list
(lambda
(
@@ -47,7 +47,7 @@
)
)
-(set li0ob
+(set! li0ob
(merge_to_list
(lambda
(
@@ -61,9 +61,9 @@
)
)
-(set li1 (range 10 40 1))
-(set li1oa (range 10 60 1))
-(set li1ob (range 10 40 1))
+(set! li1 (range 10 40 1))
+(set! li1oa (range 10 60 1))
+(set! li1ob (range 10 40 1))
(merge!
(lambda
@@ -101,13 +101,13 @@
li1ob
)
-(assert
+(assert!
(= (var li1) (var li0) (var li0oa) (var li0ob) (var li1oa) (var li1ob))
[FAILED] (var test_name) Equality test 0.
)
-(for (set i 0) (=< i 30) (set i (+ i 1))
- (assert
+(for (set! i 0) (=< i 30) (set! i (+ i 1))
+ (assert!
(=
(- (+ 10 i) (* 2 i))
(access i li0)
@@ -138,7 +138,7 @@
(global (set int) si1oa)
(global (set int) si1ob)
-(set si0
+(set! si0
(merge_to_set
(lambda
(
@@ -152,7 +152,7 @@
)
)
-(set si0oa
+(set! si0oa
(merge_to_set
(lambda
(
@@ -166,7 +166,7 @@
)
)
-(set si0ob
+(set! si0ob
(merge_to_set
(lambda
(
@@ -220,22 +220,22 @@
si1ob
)
-(assert
+(assert!
(= (var si0) (var si0oa) (var si0ob) (var si1) (var si1oa) (var si1ob))
[FAILED] (var test_name) Equality test 1.
)
(for
(
- (set i 0)
- (set j 30)
+ (set! i 0)
+ (set! j 30)
)
(=< i 30)
(
- (set i (+ i 1))
- (set j (- j 1))
+ (set! i (+ i 1))
+ (set! j (- j 1))
)
- (assert
+ (assert!
(=
(- (+ 10 j) (* 2 j))
(access i si0)
@@ -266,7 +266,7 @@
(global (set int) si3oa)
(global (set int) si3ob)
-(set si2
+(set! si2
(merge_to_set
(lambda
(
@@ -282,7 +282,7 @@
)
)
-(set si2oa
+(set! si2oa
(merge_to_set
(lambda
(
@@ -298,7 +298,7 @@
)
)
-(set si2ob
+(set! si2ob
(merge_to_set
(lambda
(
@@ -360,16 +360,16 @@
-1
)
-(assert
+(assert!
(= (var si2) (var si2oa) (var si2ob) (var si3) (var si3oa) (var si3ob))
[FAILED] (var test_name) Equality test 2.
)
(for
- (set i 0)
+ (set! i 0)
(=< i 30)
- (set i (+ i 1))
- (assert
+ (set! i (+ i 1))
+ (assert!
(=
(* (- (+ 10 i) (* 2 i)) -1)
(access i si2)
@@ -400,7 +400,7 @@
(global (list int) ili1oa)
(global (list int) ili1ob)
-(set ili0
+(set! ili0
(indexed_merge_to_list
(lambda
(
@@ -415,7 +415,7 @@
)
)
-(set ili0oa
+(set! ili0oa
(indexed_merge_to_list
(lambda
(
@@ -430,7 +430,7 @@
)
)
-(set ili0ob
+(set! ili0ob
(indexed_merge_to_list
(lambda
(
@@ -445,9 +445,9 @@
)
)
-(set ili1 (range 10 40 1))
-(set ili1oa (range 10 60 1))
-(set ili1ob (range 10 40 1))
+(set! ili1 (range 10 40 1))
+(set! ili1oa (range 10 60 1))
+(set! ili1ob (range 10 40 1))
(indexed_merge!
(lambda
@@ -488,13 +488,13 @@
ili1ob
)
-(assert
+(assert!
(= (var ili1) (var ili0) (var ili0oa) (var ili0ob) (var ili1oa) (var ili1ob))
[FAILED] (var test_name) Equality test indexed 0.
)
-(for (set i 0) (=< i 30) (set i (+ i 1))
- (assert
+(for (set! i 0) (=< i 30) (set! i (+ i 1))
+ (assert!
(=
(* (- (+ 10 i) (* 2 i)) i)
(access i ili0)
@@ -519,9 +519,9 @@
;;; INDEXED TEST 1 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
For reference, the values found in the sets are:
-(for (set i 0) (=< i 30) (set i (+ i 1))
+(for (set! i 0) (=< i 30) (set! i (+ i 1))
(local int o)
- (set o (* (- (+ 10 i) (* 2 i)) (+ i 1)))
+ (set! o (* (- (+ 10 i) (* 2 i)) (+ i 1)))
(var o) (newline)
(add! (var o) oracle_set)
)
@@ -533,7 +533,7 @@ For reference, the values found in the sets are:
(global (set int) isi1oa)
(global (set int) isi1ob)
-(set isi0
+(set! isi0
(indexed_merge_to_set
(lambda
(
@@ -548,7 +548,7 @@ For reference, the values found in the sets are:
)
)
-(set isi0oa
+(set! isi0oa
(indexed_merge_to_set
(lambda
(
@@ -563,7 +563,7 @@ For reference, the values found in the sets are:
)
)
-(set isi0ob
+(set! isi0ob
(indexed_merge_to_set
(lambda
(
@@ -621,13 +621,13 @@ For reference, the values found in the sets are:
isi1ob
)
-(assert
+(assert!
(= (var isi0) (var isi0oa) (var isi0ob) (var isi1) (var isi1oa) (var isi1ob))
[FAILED] (var test_name) Equality test indexed 1.
)
-(for (set i (- (size oracle_set) 1)) (>= i 0) (set i (- i 1))
- (assert
+(for (set! i (- (size oracle_set) 1)) (>= i 0) (set! i (- i 1))
+ (assert!
(=
(access i oracle_set)
(access i isi0)
@@ -648,16 +648,16 @@ For reference, the values found in the sets are:
)
)
-(clear oracle_set)
+(clear! oracle_set)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; INDEXED TEST 2 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
For reference, the values found in the sets are:
-(for (set i 0) (=< i 30) (set i (+ i 1))
+(for (set! i 0) (=< i 30) (set! i (+ i 1))
(local int o)
- (set o (* (- (+ 10 i) (* 2 i)) -1 (+ i 1)))
+ (set! o (* (- (+ 10 i) (* 2 i)) -1 (+ i 1)))
(var o) (newline)
(add! (var o) oracle_set)
)
@@ -669,7 +669,7 @@ For reference, the values found in the sets are:
(global (set int) isi3oa)
(global (set int) isi3ob)
-(set isi2
+(set! isi2
(indexed_merge_to_set
(lambda
(
@@ -686,7 +686,7 @@ For reference, the values found in the sets are:
)
)
-(set isi2oa
+(set! isi2oa
(indexed_merge_to_set
(lambda
(
@@ -703,7 +703,7 @@ For reference, the values found in the sets are:
)
)
-(set isi2ob
+(set! isi2ob
(indexed_merge_to_set
(lambda
(
@@ -769,13 +769,13 @@ For reference, the values found in the sets are:
-1
)
-(assert
+(assert!
(= (var isi2) (var isi2oa) (var isi2ob) (var isi3) (var isi3oa) (var isi3ob))
[FAILED] (var test_name) Equality test indexed 2.
)
-(for (set i (- (size oracle_set) 1)) (>= i 0) (set i (- i 1))
- (assert
+(for (set! i (- (size oracle_set) 1)) (>= i 0) (set! i (- i 1))
+ (assert!
(=
(access i oracle_set)
(access i isi2)
@@ -804,7 +804,7 @@ For reference, the values found in the sets are:
(global (list int) sli2)
(global (list int) sli3)
-(set sli0
+(set! sli0
(safe_merge_to_list
(lambda
(
@@ -820,7 +820,7 @@ For reference, the values found in the sets are:
)
)
-(set sli1
+(set! sli1
(safe_merge_to_list
(lambda
(
@@ -836,18 +836,18 @@ For reference, the values found in the sets are:
)
)
-(for (set i 0) (=< i 10) (set i (+ i 1))
- (assert
+(for (set! i 0) (=< i 10) (set! i (+ i 1))
+ (assert!
(= (access i sli0) (access i sli1) (- i 1))
[FAILED] (var test_name) Equality test safe 0.
)
)
-(assert
+(assert!
(= (var sli0) (var sli1))
[FAILED] (var test_name) Equality test safe 0.
)
[COMPLETED] (var test_name)
-(end)
+(end!)
diff --git a/data/unit-testing/ptr_and_at.fate b/data/unit-testing/ptr_and_at.fate
index 2baf6ce..4ccaa26 100644
--- a/data/unit-testing/ptr_and_at.fate
+++ b/data/unit-testing/ptr_and_at.fate
@@ -2,7 +2,7 @@
(global string test_name)
-(set test_name ( PTR AND AT ))
+(set! test_name ( PTR AND AT ))
(global int i)
(global int j)
@@ -39,35 +39,35 @@
(global (list test_struct1) test_struct1_list)
-(set i 100)
-(set j 2000)
+(set! i 100)
+(set! j 2000)
-(set i_ptr (ptr i))
-(set j_ptr (ptr j))
+(set! i_ptr (ptr i))
+(set! j_ptr (ptr j))
-(set int_ptr_ptr (ptr i_ptr))
+(set! int_ptr_ptr (ptr i_ptr))
-(assert (= (var i) (at i_ptr) (at (at int_ptr_ptr))) [FAILED] (var test_name) equality 0.)
+(assert! (= (var i) (at i_ptr) (at (at int_ptr_ptr))) [FAILED] (var test_name) equality 0.)
-(set i_ptr (ptr j))
+(set! i_ptr (ptr j))
-(assert (= (var j) (at i_ptr) (at (at int_ptr_ptr))) [FAILED] (var test_name) equality 1.)
+(assert! (= (var j) (at i_ptr) (at (at int_ptr_ptr))) [FAILED] (var test_name) equality 1.)
(global int b)
-(set j_ptr (ptr b))
+(set! j_ptr (ptr b))
-(set (at j_ptr) (at (at int_ptr_ptr)))
+(set! (at j_ptr) (at (at int_ptr_ptr)))
-(assert (= (var b) (var j) (at i_ptr) (at (at int_ptr_ptr))) [FAILED] (var test_name) equality 2.)
+(assert! (= (var b) (var j) (at i_ptr) (at (at int_ptr_ptr))) [FAILED] (var test_name) equality 2.)
(global (ptr int) b_ptr)
-(set i 100)
-(set j 2000)
-(set i_ptr (ptr i))
-(set j_ptr (ptr j))
-(set b_ptr (ptr b))
-(set int_ptr_ptr (ptr b_ptr))
+(set! i 100)
+(set! j 2000)
+(set! i_ptr (ptr i))
+(set! j_ptr (ptr j))
+(set! b_ptr (ptr b))
+(set! int_ptr_ptr (ptr b_ptr))
(global test_struct0 ts0)
@@ -86,12 +86,12 @@
(add! (var ts0.int_ptr0) ts0.int_ptr_list)
(add! (var ts0.int_ptr1) ts0.int_ptr_list)
-(assert (= (var ts0.int_ptr_list.0) (var i_ptr) (ptr i)) [FAILED] (var test_name) equality 3.)
-(assert (= (var ts0.int_ptr_list.1) (var j_ptr) (ptr j)) [FAILED] (var test_name) equality 4.)
-(assert (= (var ts0.int_ptr_list.2) (var b_ptr) (ptr b)) [FAILED] (var test_name) equality 5.)
-(assert (= (at ts0.int_ptr_list.3) (at ts0.int_ptr0) (at (ptr ts0.int0)) (var ts0.int0)) [FAILED] (var test_name) equality 6.)
-(assert (= (at ts0.int_ptr_list.4) (at ts0.int_ptr1) (at (ptr ts0.int1)) (var ts0.int1)) [FAILED] (var test_name) equality 7.)
+(assert! (= (var ts0.int_ptr_list.0) (var i_ptr) (ptr i)) [FAILED] (var test_name) equality 3.)
+(assert! (= (var ts0.int_ptr_list.1) (var j_ptr) (ptr j)) [FAILED] (var test_name) equality 4.)
+(assert! (= (var ts0.int_ptr_list.2) (var b_ptr) (ptr b)) [FAILED] (var test_name) equality 5.)
+(assert! (= (at ts0.int_ptr_list.3) (at ts0.int_ptr0) (at (ptr ts0.int0)) (var ts0.int0)) [FAILED] (var test_name) equality 6.)
+(assert! (= (at ts0.int_ptr_list.4) (at ts0.int_ptr1) (at (ptr ts0.int1)) (var ts0.int1)) [FAILED] (var test_name) equality 7.)
[COMPLETED] (var test_name)
-(end)
+(end!)