Displaying 1 result from an estimated 1 matches for "93266cb".
Did you mean:
932663
2015 Oct 21
2
[PATCH 1/2] generator: add a FilenameList parameter type
...quot;
- | StringList _ | DeviceList _ ->
+ | StringList _ | DeviceList _ | FilenameList _ ->
pr "[String]"
| Bool _ -> pr "Bool"
| Int _ -> pr "Int"
diff --git a/generator/java.ml b/generator/java.ml
index 4c89197..93266cb 100644
--- a/generator/java.ml
+++ b/generator/java.ml
@@ -485,7 +485,7 @@ and generate_java_prototype ?(public=false) ?(privat=false) ?(native=false)
pr "String %s" n
| BufferIn n ->
pr "byte[] %s" n
- | StringList n | DeviceList n ->
+...