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

[Jose E. Marchesi]

Hi Mohammad.

OK for master.
Thanks!

> 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]} } */