[PATCH] pkl: rename `get_time' to `gettime'

[Mohammad-Reza Nabipoor]

2023-01-24  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>

        * libpoke/pkl-rt.pk (get_time): Renamed to `gettime'.
        * pickles/time.pk (gettimeofday): s/get_time/gettime/.
        * testsuite/poke.pkl/get-time-1.pk: Removed.
        * testsuite/poke.pkl/gettime-1.pk: Added.
        * testsuite/Makefile.am (EXTRA_DIST): Update.
---
 ChangeLog                                          | 8 ++++++++
 libpoke/pkl-rt.pk                                  | 2 +-
 pickles/time.pk                                    | 2 +-
 testsuite/Makefile.am                              | 2 +-
 testsuite/poke.pkl/{get-time-1.pk => gettime-1.pk} | 2 +-
 5 files changed, 12 insertions(+), 4 deletions(-)
 rename testsuite/poke.pkl/{get-time-1.pk => gettime-1.pk} (87%)

diff --git a/ChangeLog b/ChangeLog
index d905bafe..0fd5b4ec 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2023-01-24  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
+
+       * libpoke/pkl-rt.pk (get_time): Renamed to `gettime'.
+       * pickles/time.pk (gettimeofday): s/get_time/gettime/.
+       * testsuite/poke.pkl/get-time-1.pk: Removed.
+       * testsuite/poke.pkl/gettime-1.pk: Added.
+       * testsuite/Makefile.am (EXTRA_DIST): Update.
+
 2023-01-24  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
 
        * testsuite/poke.pkl/apop-diag-2.pk: Fixed.
diff --git a/libpoke/pkl-rt.pk b/libpoke/pkl-rt.pk
index 151e3ce4..cdee3fd1 100644
--- a/libpoke/pkl-rt.pk
+++ b/libpoke/pkl-rt.pk
@@ -176,7 +176,7 @@ immutable fun flush = (int<32> ios, offset<uint<64>,1> 
offset) void:
   asm ("ogetm; nip; flush" :: ios, offset);
 }
 
-immutable fun get_time = int<64>[2]:
+immutable fun gettime = int<64>[2]:
 {
   var t = int<64>[2] ();
 
diff --git a/pickles/time.pk b/pickles/time.pk
index 96a3f324..dabaa88c 100644
--- a/pickles/time.pk
+++ b/pickles/time.pk
@@ -24,7 +24,7 @@ type Timespec = struct
 
 fun gettimeofday = Timespec:
 {
-  var time = get_time;
+  var time = gettime;
   return Timespec {sec = time[0], nsec = time[1]};
 }
 
diff --git a/testsuite/Makefile.am b/testsuite/Makefile.am
index 4165849d..885dcb0d 100644
--- a/testsuite/Makefile.am
+++ b/testsuite/Makefile.am
@@ -1526,9 +1526,9 @@ EXTRA_DIST = \
   poke.pkl/get-endian-1.pk \
   poke.pkl/get-ios-1.pk \
   poke.pkl/get-ios-2.pk \
-  poke.pkl/get-time-1.pk \
   poke.pkl/getenv-1.pk \
   poke.pkl/getenv-2.pk \
+  poke.pkl/gettime-1.pk \
   poke.pkl/gt-arrays-diag-1.pk \
   poke.pkl/gt-functions-diag-1.pk \
   poke.pkl/gt-functions-diag-2.pk \
diff --git a/testsuite/poke.pkl/get-time-1.pk b/testsuite/poke.pkl/gettime-1.pk
similarity index 87%
rename from testsuite/poke.pkl/get-time-1.pk
rename to testsuite/poke.pkl/gettime-1.pk
index 2a794d98..7ab7bd85 100644
--- a/testsuite/poke.pkl/get-time-1.pk
+++ b/testsuite/poke.pkl/gettime-1.pk
@@ -1,6 +1,6 @@
 /* { dg-do run } */
 
-var t = get_time;
+var t = gettime;
 
 /* { dg-command {.set obase 10} } */
 /* { dg-command {t isa int<64>[2]} } */
-- 
2.39.1