proper error on unknown identifiers when rewriting text2binary

src/bin/owi.ml

@@ -613,6 +613,7 @@ let exit_code =
       | `Unclosed_string -> 76
       | `Unbounded_quantification -> 77
       | `Invalid_model _msg -> 78
+      | `Unknown_export _id -> 79
     end
   end
   | Error e -> (

src/text_to_binary/assigned.ml

@@ -174,3 +174,24 @@ let of_grouped (modul : Grouped.t) : t Result.t =
   ; start = modul.start
   ; annots = modul.annots
   }
+
+let find (named : 'a Named.t) err : _ -> binary indice Result.t = function
+  | Raw _i as indice -> Ok indice
+  | Text name -> (
+    match String_map.find_opt name named.named with
+    | None -> Error err
+    | Some i -> Ok (Raw i) )
+
+let find_func modul id = find modul.func (`Unknown_func id) id
+
+let find_global modul id = find modul.global (`Unknown_global id) id
+
+let find_memory modul id = find modul.mem (`Unknown_memory id) id
+
+let find_table modul id = find modul.table (`Unknown_table id) id
+
+let find_data modul id = find modul.data (`Unknown_data id) id
+
+let find_elem modul id = find modul.elem (`Unknown_elem id) id
+
+let find_type modul id = find modul.typ (`Unknown_type id) id

src/text_to_binary/assigned.mli

@@ -19,3 +19,17 @@ type t =
   }
 
 val of_grouped : Grouped.t -> t Result.t
+
+val find_func : t -> text indice -> binary indice Result.t
+
+val find_global : t -> text indice -> binary indice Result.t
+
+val find_memory : t -> text indice -> binary indice Result.t
+
+val find_data : t -> text indice -> binary indice Result.t
+
+val find_table : t -> text indice -> binary indice Result.t
+
+val find_elem : t -> text indice -> binary indice Result.t
+
+val find_type : t -> text indice -> binary indice Result.t