Re: [PATCH] poke: add support for `immutable' in repl

[Jose E. Marchesi]

OK for master.
Thanks!

> 2023-01-22  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
>
>       * poke/pk-cmd.c (pk_cmd_exec): Add support for `immutable'.
> ---
>  ChangeLog     | 6 +++++-
>  poke/pk-cmd.c | 2 +-
>  2 files changed, 6 insertions(+), 2 deletions(-)
>
> diff --git a/ChangeLog b/ChangeLog
> index d57c8fb3..c5a4aea6 100644
> --- a/ChangeLog
> +++ b/ChangeLog
> @@ -1,9 +1,13 @@
> +2023-01-22  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
> +
> +     * poke/pk-cmd.c (pk_cmd_exec): Add support for `immutable'.
> +
>  2023-01-21  Jose E. Marchesi  <jemarch@gnu.org>
>  
>       * configure.ac: Change version to 2.90.0.
>       * NEWS: Add entries for 2.90.0.
>  
> -2023-01-23  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
> +2023-01-21  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
>  
>       * libpoke/pvm-val.c (pvm_sizeof): Add case for `PVM_NULL'.
>       * libpoke/pvm.jitter (siz): Add a comment describing special
> diff --git a/poke/pk-cmd.c b/poke/pk-cmd.c
> index 677643d8..92569978 100644
> --- a/poke/pk-cmd.c
> +++ b/poke/pk-cmd.c
> @@ -621,7 +621,7 @@ pk_cmd_exec (const char *str)
>        int retval = 1;
>        pk_val exit_exception;
>  
> -      if (IS_COMMAND(ecmd, "fun"))
> +      if (IS_COMMAND(ecmd, "fun") || IS_COMMAND(ecmd, "immutable"))
>          what = 0;
>        else
>          {