From bfc060584e91398831dee85455e3df0fbbddbf57 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Sat, 15 Aug 2020 00:59:52 +0200 Subject: Finding some issues, as expected. --- data/tests/collections.fate | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) (limited to 'data/tests/collections.fate') 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) -- cgit v1.2.3-70-g09d2