[COMMITTED] pkl: fix assertion in `pvm_make_array_type'

[Mohammad-Reza Nabipoor]

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.


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;
-- 
2.38.1