[COMMITTED] libpoke: add PK_VAL_TYPE

[Jose E. Marchesi]

At the libpoke level a type is a kind of val.

2022-01-13  Jose E. Marchesi  <jemarch@gnu.org>

        * libpoke/libpoke.h (PK_VAL_TYPE): Define.
        * libpoke/pk-val.c (pk_val_kind): Return PK_VAL_TYPE for types.
---
 ChangeLog         | 5 +++++
 libpoke/libpoke.h | 1 +
 libpoke/pk-val.c  | 2 +-
 3 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index e4453fa1..4d6332d2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2022-01-13  Jose E. Marchesi  <jemarch@gnu.org>
 
+       * libpoke/libpoke.h (PK_VAL_TYPE): Define.
+       * libpoke/pk-val.c (pk_val_kind): Return PK_VAL_TYPE for types.
+
+2022-01-13  Jose E. Marchesi  <jemarch@gnu.org>
+
        * libpoke/libpoke.h (PK_TYPE_UNKNOWN): Rename from PK_UNKNOWN.
        (PK_TYPE_INT): Likewise.
        (PK_TYPE_UINT): Likewise.
diff --git a/libpoke/libpoke.h b/libpoke/libpoke.h
index e0b7aa86..21c7e8ca 100644
--- a/libpoke/libpoke.h
+++ b/libpoke/libpoke.h
@@ -1089,6 +1089,7 @@ int pk_type_code (pk_val val) LIBPOKE_API;
 #define PK_VAL_ARRAY   5
 #define PK_VAL_STRUCT  6
 #define PK_VAL_CLOSURE 7
+#define PK_VAL_TYPE    8
 
 int pk_val_kind (pk_val val) LIBPOKE_API;
 
diff --git a/libpoke/pk-val.c b/libpoke/pk-val.c
index 5a19a48c..bb1c0d60 100644
--- a/libpoke/pk-val.c
+++ b/libpoke/pk-val.c
@@ -248,7 +248,7 @@ pk_val_kind (pk_val val)
   else if (PVM_IS_CLS (val))
     return PK_VAL_CLOSURE;
   else if (PVM_IS_TYP (val))
-    return PK_VAL_UNKNOWN;
+    return PK_VAL_TYPE;
   else
     return PK_VAL_UNKNOWN;
 }
-- 
2.11.0