generic operators on CDDL array iterators

also: * array parser can take the CBOR iterator value directly, not through a pointer * I need the validator in the CDDL array iterator
project-everest · Jan 31, 2025 · baaa3e9 · baaa3e9
1 parent 90d93f2
commit baaa3e9
Show file tree

Hide file tree

Showing 2 changed files with 234 additions and 59 deletions.
diff --git a/src/cddl/pulse/CDDL.Pulse.AST.Types.fst b/src/cddl/pulse/CDDL.Pulse.AST.Types.fst
@@ -103,7 +103,7 @@ let rec impl_type_sem
       sem_rel =
         rel_either_left
           (rel_slice_of_list it.sem_rel false)
-          (rel_array_iterator cbor_array_iterator_match it.sem_rel)
+          (rel_array_iterator cbor_array_iterator_match (Iterator.mk_spec it.sem_rel))
           ;
     }
   | TTTable t1 t2 ->