From 64270a1831a820677a7178553f46f1c8951871c6 Mon Sep 17 00:00:00 2001
From: fennecdjay <fennecdjay@gmail.com>
Date: Mon, 24 Oct 2022 19:41:21 +0200
Subject: [PATCH] :art: use . instead of @dot

---
 plug              | 2 +-
 src/emit/emit.c   | 2 +-
 src/lib/engine.c  | 4 ++--
 src/lib/union.c   | 2 +-
 src/parse/check.c | 2 +-
 5 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/plug b/plug
index c3d05aa3..f69bdbee 160000
--- 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 645727ac..bbce4f15 100644
--- 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 e0cf45a3..69ed96e0 100644
--- 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 a1c89e13..16cc754e 100644
--- 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 77d51256..7561c990 100644
--- 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};
-- 
2.43.0