Commit d6b5c7282b9ac6eb53a7967edae87c89e9034b23

Thomas de Grivel 2024-09-14T17:01:55

define operator_assign_2 with unicode symbol ←

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
diff --git a/lib/kc3/0.1/kc3.facts b/lib/kc3/0.1/kc3.facts
index 1ca62cf..e5046ee 100644
--- a/lib/kc3/0.1/kc3.facts
+++ b/lib/kc3/0.1/kc3.facts
@@ -197,6 +197,13 @@ replace {KC3.operator_assign, :arity, 2}
 replace {KC3.operator_assign, :symbol_value, cfn Tag "var_assign" (Var, Tag, Result)}
 replace {KC3.operator_assign, :operator_precedence, 3}
 replace {KC3.operator_assign, :operator_associativity, :left}
+add {KC3, :operator, KC3.operator_assign_2}
+replace {KC3.operator_assign_2, :is_a, :operator}
+replace {KC3.operator_assign_2, :sym, :←}
+replace {KC3.operator_assign_2, :arity, 2}
+replace {KC3.operator_assign_2, :symbol_value, cfn Tag "var_assign" (Var, Tag, Result)}
+replace {KC3.operator_assign_2, :operator_precedence, 3}
+replace {KC3.operator_assign_2, :operator_associativity, :left}
 add {KC3, :operator, KC3.operator_equal}
 replace {KC3.operator_equal, :is_a, :operator}
 replace {KC3.operator_equal, :arity, 2}