Allow wrapping using _anonymous_ type (#430)

* Work on ano type

* Work on ano type

* Work on ano type

* work on ano

* val

* global `enum` definition

* Upd tests, memleak for modules test

* Upd test

* Fixed #431

* added test with invalid type keys

* add comment

* Update changelog

* Added tests

Author: joente

CHANGELOG.md

@@ -1,7 +1,11 @@
-# v1.8.2
+# v1.8.2-alpha3
 
-* Allow converting `mpdata` to `bytes, issue #427.
+* Allow converting `mpdata` to `bytes`, issue #427.
 * Fixed: map cache for nested structure not cleared, issue #428.
+* Add global `enum` definition, issue #429.
+* Add _anonymous_ wrap only type syntax (`&{..}`), pr #430.
+* Added `ano()` function, pr #430.
+* Definition `*str` now exposes enumerator keys, issue #431.
 
 # v1.8.1
 

CMakeLists.txt

@@ -120,6 +120,7 @@ set(SOURCES
     src/cleri/tokens.c
     src/cleri/version.c
     src/ti/access.c
+    src/ti/ano.c
     src/ti/api.c
     src/ti/archfile.c
     src/ti/archive.c
@@ -226,6 +227,7 @@ set(SOURCES
     src/ti/vint.c
     src/ti/vset.c
     src/ti/vtask.c
+    src/ti/wano.c
     src/ti/warn.c
     src/ti/watch.c
     src/ti/web.c

grammar/grammar.py

@@ -51,6 +51,7 @@ class LangDef(Grammar):
     x_preopr = Regex(r'(\s*~)*(\s*!|\s*[\-+](?=[^0-9]))*')
     x_ternary = Token('?')
     x_thing = Token('{')
+    x_ano = Token('&{')
     x_template = Token('`')
 
     template = Sequence(
@@ -81,6 +82,7 @@ class LangDef(Grammar):
     chain = Ref()
 
     closure = Sequence(x_closure, List(var), '|', THIS)
+    t_ano = Sequence(x_ano, List(Sequence(name, ':', Optional(THIS))), '}')
 
     thing = Sequence(x_thing, List(Sequence(name, ':', Optional(THIS))), '}')
     array = Sequence(x_array, List(THIS), ']')
@@ -184,6 +186,7 @@ class LangDef(Grammar):
             t_int,
             t_string,
             t_regex,
+            t_ano,
             # end immutable values
             template,
             var_opt_more,

inc/doc.h

@@ -13,6 +13,7 @@
 
 /* Collection API */
 #define DOC_ALT_RAISE               DOC_SEE("collection-api/alt_raise")
+#define DOC_ANO                     DOC_SEE("collection-api/ano")
 #define DOC_ASSERT                  DOC_SEE("collection-api/assert")
 #define DOC_BASE64_DECODE           DOC_SEE("collection-api/base64_decode")
 #define DOC_BASE64_ENCODE           DOC_SEE("collection-api/base64_encode")

inc/doc.inline.h

@@ -145,6 +145,7 @@ static inline const char * doc_copy(ti_val_t * val)
     case TI_VAL_WRAP:           return DOC_WTYPE_COPY;
     case TI_VAL_ARR:            return DOC_LIST_COPY;
     case TI_VAL_SET:            return DOC_SET_COPY;
+    case TI_VAL_WANO:           return DOC_WTYPE_COPY;
     default:                    return NULL;
     }
 }
@@ -157,6 +158,7 @@ static inline const char * doc_dup(ti_val_t * val)
     case TI_VAL_WRAP:           return DOC_WTYPE_DUP;
     case TI_VAL_ARR:            return DOC_LIST_DUP;
     case TI_VAL_SET:            return DOC_SET_DUP;
+    case TI_VAL_WANO:           return DOC_WTYPE_DUP;
     default:                    return NULL;
     }
 }

inc/langdef/langdef.h

@@ -5,7 +5,7 @@
  * should be used with the libcleri module.
  *
  * Source class: LangDef
- * Created at: 2024-02-11 20:55:25
+ * Created at: 2025-11-07 13:13:19
  */
 #ifndef CLERI_EXPORT_LANGDEF_H_
 #define CLERI_EXPORT_LANGDEF_H_
@@ -58,6 +58,7 @@ enum cleri_grammar_ids {
     CLERI_GID_STATEMENT,
     CLERI_GID_TEMPLATE,
     CLERI_GID_THING,
+    CLERI_GID_T_ANO,
     CLERI_GID_T_FALSE,
     CLERI_GID_T_FLOAT,
     CLERI_GID_T_INT,
@@ -67,6 +68,7 @@ enum cleri_grammar_ids {
     CLERI_GID_T_TRUE,
     CLERI_GID_VAR,
     CLERI_GID_VAR_OPT_MORE,
+    CLERI_GID_X_ANO,
     CLERI_GID_X_ARRAY,
     CLERI_GID_X_ASSIGN,
     CLERI_GID_X_BLOCK,

inc/ti/ano.h

@@ -0,0 +1,55 @@
+/*
+ * ti/ano.h
+ */
+#ifndef TI_ANO_H_
+#define TI_ANO_H_
+
+#include <ti/ano.t.h>
+#include <ti/val.t.h>
+#include <ti/collection.t.h>
+#include <util/mpack.h>
+#include <ex.h>
+
+#define ANO_T(__x) ((ti_ano_t *) (__x))->type
+
+ti_ano_t * ti_ano_new(void);
+int ti_ano_init(
+        ti_ano_t * ano,
+        ti_collection_t * collection,
+        ti_raw_t * spec_raw,
+        ex_t * e);
+ti_ano_t * ti_ano_from_raw(
+        ti_collection_t * collection,
+        ti_raw_t * spec_raw,
+        ex_t * e);
+ti_ano_t * ti_ano_create(
+        ti_collection_t * collection,
+        const unsigned char * bin,
+        size_t n,
+        ex_t * e);
+void ti_ano_destroy(ti_ano_t * ano);
+
+static inline int ti_ano_to_client_pk(
+        ti_ano_t * ano,
+        msgpack_packer * pk)
+{
+    return mp_pack_append(pk, ano->spec_raw->data, ano->spec_raw->n);
+}
+
+static inline _Bool ti_ano_uninitialized(ti_ano_t * ano)
+{
+    return !ano->spec_raw;
+}
+
+static inline int ti_ano_to_store_pk(
+        ti_ano_t * ano,
+        msgpack_packer * pk)
+{
+    return mp_pack_ext(
+        pk,
+        MPACK_EXT_ANO,
+        ano->spec_raw->data,
+        ano->spec_raw->n);
+}
+
+#endif /* TI_ANO_H_ */

inc/ti/ano.t.h

@@ -0,0 +1,21 @@
+/*
+ * ti/ano.t.h
+ */
+#ifndef TI_ANO_T_H_
+#define TI_ANO_T_H_
+
+typedef struct ti_ano_s  ti_ano_t;
+
+#include <ti/type.t.h>
+#include <ti/val.t.h>
+
+struct ti_ano_s
+{
+    uint32_t ref;
+    uint8_t tp;
+    int:24;
+    ti_raw_t * spec_raw;  /* mpdata, in log use <anonymous> */
+    ti_type_t * type;
+};
+
+#endif /* TI_ANO_T_H_ */

inc/ti/collection.t.h

@@ -34,6 +34,7 @@ struct ti_collection_s
     vec_t * access;         /* ti_auth_t */
     smap_t * procedures;    /* ti_procedure_t */
     smap_t * named_rooms;   /* weak map for ti_room_t (only named rooms) */
+    smap_t * ano_types;     /* weak map for ti_ano_t */
     ti_thing_t * root;      /* without extra reference */
     ti_types_t * types;
     ti_enums_t * enums;

inc/ti/do.h

@@ -41,6 +41,7 @@ int ti_do_prepare_for_loop(ti_query_t * query, cleri_node_t * vars_nd);
 int ti_do_init(void);
 void ti_do_drop(void);
 
+
 static inline int ti_do_statement(
         ti_query_t * query,
         cleri_node_t * nd,