Commit 20ef7f9a0f5fc7a397722a6db148b2ad3856fa70

Thomas de Grivel 2024-07-30T15:01:34

shorten test/ikc3/def

diff --git a/test/ikc3/def.kc3 b/test/ikc3/def.kc3
index 663f2d0..4ec0e08 100644
--- a/test/ikc3/def.kc3
+++ b/test/ikc3/def.kc3
@@ -76,39 +76,3 @@ quote reverse
 reverse
 quote reverse([1, 2, 3])
 reverse([1, 2, 3])
-quote def reverse = fn (x) { List.reverse(x) }
-def reverse = fn (x) { List.reverse(x) }
-quote reverse
-reverse
-quote reverse([1, 2, 3])
-reverse([1, 2, 3])
-quote module()
-module()
-quote search_modules()
-search_modules()
-quote reverse
-reverse
-quote def reverse = fn (x) { [:reversed | List.reverse(x)] }
-def reverse = fn (x) { [:reversed | List.reverse(x)] }
-quote reverse
-reverse
-quote reverse([1, 2, 3])
-reverse([1, 2, 3])
-quote module()
-module()
-quote search_modules()
-search_modules()
-quote reverse
-reverse
-quote def reverse = fn (x) { List.reverse(x) }
-def reverse = fn (x) { List.reverse(x) }
-quote reverse
-reverse
-quote reverse([1, 2, 3])
-reverse([1, 2, 3])
-quote module()
-module()
-quote search_modules()
-search_modules()
-quote reverse
-reverse
diff --git a/test/ikc3/def.out.expected b/test/ikc3/def.out.expected
index d144801..932f58c 100644
--- a/test/ikc3/def.out.expected
+++ b/test/ikc3/def.out.expected
@@ -76,39 +76,3 @@ fn {
 }
 reverse([(U8) 1, (U8) 2, (U8) 3])
 [(U8) 3, (U8) 2, (U8) 1]
-def reverse = fn (x) { List.reverse(x) }
-reverse
-reverse
-fn (x) { List.reverse(x) }
-reverse([(U8) 1, (U8) 2, (U8) 3])
-[(U8) 3, (U8) 2, (U8) 1]
-module()
-KC3
-search_modules()
-[KC3]
-reverse
-fn (x) { List.reverse(x) }
-def reverse = fn (x) { [:reversed | List.reverse(x)] }
-reverse
-reverse
-fn (x) { [:reversed | List.reverse(x)] }
-reverse([(U8) 1, (U8) 2, (U8) 3])
-[:reversed, (U8) 3, (U8) 2, (U8) 1]
-module()
-KC3
-search_modules()
-[KC3]
-reverse
-fn (x) { [:reversed | List.reverse(x)] }
-def reverse = fn (x) { List.reverse(x) }
-reverse
-reverse
-fn (x) { List.reverse(x) }
-reverse([(U8) 1, (U8) 2, (U8) 3])
-[(U8) 3, (U8) 2, (U8) 1]
-module()
-KC3
-search_modules()
-[KC3]
-reverse
-fn (x) { List.reverse(x) }