Commit 3b8369a1a54311463a3d0c6fe94a252229f274e5
2024-03-23T05:35:45
fix def
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103
diff --git a/.ic3_history b/.ic3_history
index 31d0774..c327d58 100644
--- a/.ic3_history
+++ b/.ic3_history
@@ -1,15 +1,3 @@
--1/-1 + 1/1
--1/-1
--1/1
-sqrt(-1)
-sqrt(-1) * sqrt(-1)
-sqrt(-2) * sqrt(-2)
-sqrt(1)
-sqrt(2)
-sqrt(-2) * sqrt(-2)
-sqrt(-1) * sqrt(-1)
-sqrt(-1)
-sqrt(-2)
sqrt(-1) * sqrt(-1)
sqrt(-2) * sqrt(-2)
1/3 +i 1/2
@@ -97,3 +85,15 @@ def a = fn (x) do x * 2 end
a
List.reverse
license
+def reverse = fn (x) { List.reverse(x) }
+reverse([1, 2, 3])
+def reverse = fn (x) { [:reversed | List.reverse(x)] }
+reverse([1, 2, 3])
+def reverse = fn (x) { List.reverse(x) }
+reverse([1, 2, 3])
+def reverse = fn (x) { [:reversed | List.reverse(x)] }
+reverse([1, 2, 3])
+def reverse = fn (x) { List.reverse(x) }
+reverse([1, 2, 3])
+def reverse = fn (x) { List.reverse(x) }
+C3.reverse
diff --git a/libc3/env.c b/libc3/env.c
index f14e6f3..09aa836 100644
--- a/libc3/env.c
+++ b/libc3/env.c
@@ -98,8 +98,8 @@ s_tag * env_def (s_env *env, const s_call *call, s_tag *dest)
if (! facts_add_tags(&env->facts, &tag_module, &tag_symbol,
&tag_ident))
return NULL;
- if (! facts_add_tags(&env->facts, &tag_ident, &tag_symbol_value,
- tag_value))
+ if (! facts_replace_tags(&env->facts, &tag_ident, &tag_symbol_value,
+ tag_value))
return NULL;
tag_init_ident(dest, &tag_ident.data.ident);
return dest;
diff --git a/test/ic3/def.in b/test/ic3/def.in
index 1319e8f..21cfd02 100644
--- a/test/ic3/def.in
+++ b/test/ic3/def.in
@@ -28,3 +28,21 @@ quote double_tuple(zero)
double_tuple(zero)
quote double_tuple(one_two_three)
double_tuple(one_two_three)
+quote def reverse = fn (x) { List.reverse(x) }
+def reverse = fn (x) { List.reverse(x) }
+quote C3.reverse
+C3.reverse
+quote reverse([1, 2, 3])
+reverse([1, 2, 3])
+quote def reverse = fn (x) { [:reversed | List.reverse(x)] }
+def reverse = fn (x) { [:reversed | List.reverse(x)] }
+quote C3.reverse
+C3.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 C3.reverse
+C3.reverse
+quote reverse([1, 2, 3])
+reverse([1, 2, 3])
diff --git a/test/ic3/def.out.expected b/test/ic3/def.out.expected
index 03a8d8a..396da43 100644
--- a/test/ic3/def.out.expected
+++ b/test/ic3/def.out.expected
@@ -28,3 +28,21 @@ double_tuple(zero)
{0, 0}
double_tuple(one_two_three)
{[1, 2, 3], [1, 2, 3]}
+def reverse = fn (x) { List.reverse(x) }
+C3.reverse
+C3.reverse
+fn (x) { List.reverse(x) }
+reverse([1, 2, 3])
+[3, 2, 1]
+def reverse = fn (x) { [:reversed | List.reverse(x)] }
+C3.reverse
+C3.reverse
+fn (x) { [:reversed | List.reverse(x)] }
+reverse([1, 2, 3])
+[:reversed, 3, 2, 1]
+def reverse = fn (x) { List.reverse(x) }
+C3.reverse
+C3.reverse
+fn (x) { List.reverse(x) }
+reverse([1, 2, 3])
+[3, 2, 1]