Re: [COMMITTED] pkl: fix assertion in `pvm_make_array_type'

[Jose E. Marchesi]

> 2022-10-28  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
>
>       * libpoke/pvm-val.c (pvm_make_array_type): Fix assertion
>       for `bounder' to check that if it is a closure.
> ---
>
> Hi Jose.
>
> Thanks for fixing the bug in poke application.

Thank you for the patch.

>
>
> Regards,
> Mohammad-Reza
>
>  ChangeLog         | 5 +++++
>  libpoke/pvm-val.c | 2 +-
>  2 files changed, 6 insertions(+), 1 deletion(-)
>
> diff --git a/ChangeLog b/ChangeLog
> index f69c65cf..f55efe44 100644
> --- a/ChangeLog
> +++ b/ChangeLog
> @@ -1,3 +1,8 @@
> +2022-10-28  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
> +
> +     * libpoke/pvm-val.c (pvm_make_array_type): Fix assertion
> +     for `bounder' to check that if it is a closure.
> +
>  2022-10-28  Jose E. Marchesi  <jemarch@gnu.org>
>  
>       * poke/poke.pk (_pk_bounder_unbounded): New function.
> diff --git a/libpoke/pvm-val.c b/libpoke/pvm-val.c
> index 54341761..0ce493a3 100644
> --- a/libpoke/pvm-val.c
> +++ b/libpoke/pvm-val.c
> @@ -531,7 +531,7 @@ pvm_make_array_type (pvm_val type, pvm_val bounder)
>  {
>    pvm_val atype = pvm_make_type (PVM_TYPE_ARRAY);
>  
> -  assert (bounder);
> +  assert (PVM_IS_CLS (bounder));
>  
>    PVM_VAL_TYP_A_ETYPE (atype) = type;
>    PVM_VAL_TYP_A_BOUND (atype) = bounder;