Displaying 2 results from an estimated 2 matches for "fv_names".
2019 Sep 05
0
[PATCH libnbd] generator: Move first_version fields to a single table.
...function
+ | (_, { first_version = (0, 0) }) -> ()
+ | (name, _) ->
+ failwithf "%s: first_version field must not be set in handle_calls table" name
+ ) handle_calls;
+
+ (* Check every entry in first_version corresponds 1-1 with handle_calls. *)
+ let () =
+ let fv_names = List.sort compare (List.map fst first_version) in
+ let hc_names = List.sort compare (List.map fst handle_calls) in
+ if fv_names <> hc_names then (
+ eprintf "first_version names:\n";
+ List.iter (eprintf "\t%s\n") fv_names;
+ eprintf "handle_c...
2019 Sep 05
3
[PATCH libnbd] generator: Move first_version fields to a single table.
This doesn't include Eric's new APIs, but if you push those
then I can rebase this one on top.
Rich.