[PATCH 2/5] pkl: rename instruction s/tysctn/tysctgetn/

[Mohammad-Reza Nabipoor]

2022-10-23  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>

        * libpoke/pkl-insn.def (PKL_INSN_TYSCTN): Removed.
        (PKL_INSN_TYSCTGETN): Added (renamed from PKL_INSN_TYSCTN).
        * libpoke/pkl-rt.pk (_pkl_print_format_any): s/tysctn/tysctgetn/.
        * libpoke/pvm.jitter (tysctn): Removed.
        (tysctgetn): Added (renamed from tysctn).
---
 ChangeLog            | 8 ++++++++
 libpoke/pkl-insn.def | 2 +-
 libpoke/pkl-rt.pk    | 2 +-
 libpoke/pvm.jitter   | 4 ++--
 4 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index d674f6de..b05d74ef 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2022-10-23  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
+
+       * libpoke/pkl-insn.def (PKL_INSN_TYSCTN): Removed.
+       (PKL_INSN_TYSCTGETN): Added (renamed from PKL_INSN_TYSCTN).
+       * libpoke/pkl-rt.pk (_pkl_print_format_any): s/tysctn/tysctgetn/.
+       * libpoke/pvm.jitter (tysctn): Removed.
+       (tysctgetn): Added (renamed from tysctn).
+
 2022-10-23  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
 
        * libpoke/pvm.jitter (wrapped-functions): Remove `pvm_make_any_type'.
diff --git a/libpoke/pkl-insn.def b/libpoke/pkl-insn.def
index 332231c4..a0bd73a0 100644
--- a/libpoke/pkl-insn.def
+++ b/libpoke/pkl-insn.def
@@ -350,7 +350,7 @@ PKL_DEF_INSN(PKL_INSN_TYISSCT,"","tyissct")
 
 /** Struct types. */
 
-PKL_DEF_INSN(PKL_INSN_TYSCTN,"","tysctn")
+PKL_DEF_INSN(PKL_INSN_TYSCTGETN,"","tysctgetn")
 
 /* Branch instructions.  */
 
diff --git a/libpoke/pkl-rt.pk b/libpoke/pkl-rt.pk
index ece7d8c5..38ff29aa 100644
--- a/libpoke/pkl-rt.pk
+++ b/libpoke/pkl-rt.pk
@@ -969,7 +969,7 @@ immutable fun _pkl_print_format_any = (any val,
 
     var struct_type_name
       = asm string: ("typof
-                      tysctn
+                      tysctgetn
                       nip2
                       bn .namenull
                       nip
diff --git a/libpoke/pvm.jitter b/libpoke/pvm.jitter
index 4f94d8f7..8fe50780 100644
--- a/libpoke/pvm.jitter
+++ b/libpoke/pvm.jitter
@@ -5944,14 +5944,14 @@ instruction mktysct ()
   end
 end
 
-# Instruction: tysctn
+# Instruction: tysctgetn
 #
 # Given a struct type, push its name to the stack.  If the struct
 # type is not named push PVM_NULL.
 #
 # Stack: ( SCT -- SCT STR )
 
-instruction tysctn ()
+instruction tysctgetn ()
   code
     pvm_val type = JITTER_TOP_STACK ();
     pvm_val type_name = PVM_VAL_TYP_S_NAME (type);
-- 
2.38.1