| summaryrefslogtreecommitdiff | 
diff options
Diffstat (limited to 'data/unit-testing/fold.fate')
| -rw-r--r-- | data/unit-testing/fold.fate | 60 | 
1 files changed, 30 insertions, 30 deletions
| 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!) | 


