Add test for name mangling

issuu · Dec 30, 2023 · 2db12b6 · 2db12b6
1 parent 7ea9548
commit 2db12b6
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/test/mangle_names.proto b/test/mangle_names.proto
@@ -25,3 +25,12 @@ message camel_case_name {
   };
   uint32 xid_zero = 11;
 }
+
+message RequestOne { }
+message ResponseOne { }
+
+service StringOfInt {
+  rpc CallOne (RequestOne) returns (ResponseOne);
+  rpc Call_one (RequestOne) returns (ResponseOne);
+  rpc callOne (RequestOne) returns (ResponseOne);
+}
diff --git a/test/mangle_names_test.ml b/test/mangle_names_test.ml
@@ -0,0 +1,7 @@
+module _ = Mangle_names.Camel_case_name
+module _ = Mangle_names.Camel_case_name'
+module _ = Mangle_names.Request_one
+module _ = Mangle_names.Response_one
+module _ = Mangle_names.String_of_int.Call_one
+module _ = Mangle_names.String_of_int.Call_one'
+module _ = Mangle_names.String_of_int.Call_one''