:art: use . instead of @dot

diff --git a/plug b/plug
index c3d05aa351790daafc0d5f1610cd0d53f302f592..f69bdbeee0f878c46de0a1e44c2236cacc332fe3 160000 (submodule)
--- a/plug
+++ b/plug
@@ -1 +1 @@
-Subproject commit c3d05aa351790daafc0d5f1610cd0d53f302f592
+Subproject commit f69bdbeee0f878c46de0a1e44c2236cacc332fe3

diff --git a/src/emit/emit.c b/src/emit/emit.c
index 645727ac1c2db3dfa07b038382a45074a53ca210..bbce4f15ee92be26e7f7aed384d588c9611404cd 100644 (file)
--- a/src/emit/emit.c
+++ b/src/emit/emit.c
@@ -2659,7 +2659,7 @@ ANN static m_bool emit_stmt_list(const Emitter emit, Stmt_List l) {
 }
 
 ANN static m_bool emit_exp_dot(const Emitter emit, const Exp_Dot *member) {
-  struct Op_Import opi = {.op   = insert_symbol("@dot"),
+  struct Op_Import opi = {.op   = insert_symbol("."),
                           .lhs  = member->base->type,
                           .rhs  = exp_self(member)->type,
                           .data = (uintptr_t)member,

diff --git a/src/lib/engine.c b/src/lib/engine.c
index e0cf45a3601e9e64c46b6fc1632a23529964b0b4..69ed96e0cec91ea9efb14f67443ce312c94a1461 100644 (file)
--- a/src/lib/engine.c
+++ b/src/lib/engine.c
@@ -134,7 +134,7 @@ ANN static m_bool import_core_libs(const Gwi gwi) {
   GWI_BB(gwi_oper_ini(gwi, "@Compound", (m_str)OP_ANY_TYPE, NULL))
   GWI_BB(gwi_oper_add(gwi, opck_object_dot))
   GWI_BB(gwi_oper_emi(gwi, opem_object_dot))
-  GWI_BB(gwi_oper_end(gwi, "@dot", NULL))
+  GWI_BB(gwi_oper_end(gwi, ".", NULL))
 
   GWI_BB(import_class(gwi))
 
@@ -142,7 +142,7 @@ ANN static m_bool import_core_libs(const Gwi gwi) {
   GWI_BB(gwi_oper_ini(gwi, "Class", (m_str)OP_ANY_TYPE, NULL))
   GWI_BB(gwi_oper_add(gwi, opck_object_dot))
   GWI_BB(gwi_oper_emi(gwi, opem_object_dot))
-  GWI_BB(gwi_oper_end(gwi, "@dot", NULL))
+  GWI_BB(gwi_oper_end(gwi, ".", NULL))
   GWI_BB(import_deep_equal(gwi));
 
   GWI_BB(import_dict(gwi));

diff --git a/src/lib/union.c b/src/lib/union.c
index a1c89e1367f102c3ce9056c1f4fc56bb2dbca361..16cc754e9e99421e72f0fdd39752e91b8e6f66a6 100644 (file)
--- a/src/lib/union.c
+++ b/src/lib/union.c
@@ -190,7 +190,7 @@ ANN GWION_IMPORT(union) {
 
   GWI_BB(gwi_oper_ini(gwi, "union", (m_str)OP_ANY_TYPE, NULL))
   GWI_BB(gwi_oper_emi(gwi, opem_union_dot))
-  GWI_BB(gwi_oper_end(gwi, "@dot", NULL))
+  GWI_BB(gwi_oper_end(gwi, ".", NULL))
 
   GWI_BB(gwi_union_ini(gwi, "Option:[A]"))
   GWI_BB(gwi_union_add(gwi, "None", "none"))

diff --git a/src/parse/check.c b/src/parse/check.c
index 77d51256ec0535ad9894b623c8703d50ee25d2e2..7561c9903d4486c4bca9d0e37cf75ad8974f9f0c 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -324,7 +324,7 @@ ANN static Value check_non_res_value(const Env env, const Symbol *data) {
 }
 
 ANN static Type check_dot(const Env env, const Exp_Dot *member) {
-  struct Op_Import opi = {.op   = insert_symbol("@dot"),
+  struct Op_Import opi = {.op   = insert_symbol("."),
                           .lhs  = member->base->type,
                           .data = (uintptr_t)member,
                           .pos  = exp_self(member)->pos};