summaryrefslogtreecommitdiff
path: root/test/ocaml/string_of_struct/sos.sail
diff options
context:
space:
mode:
Diffstat (limited to 'test/ocaml/string_of_struct/sos.sail')
-rw-r--r--test/ocaml/string_of_struct/sos.sail17
1 files changed, 17 insertions, 0 deletions
diff --git a/test/ocaml/string_of_struct/sos.sail b/test/ocaml/string_of_struct/sos.sail
new file mode 100644
index 00000000..6d14dfd7
--- /dev/null
+++ b/test/ocaml/string_of_struct/sos.sail
@@ -0,0 +1,17 @@
+/* This is a regression test for a bug where an option type in a
+struct would cause the ocaml backend to generate a bad string_of
+function for the struct */
+
+union option ('a : Type) = {
+ None,
+ Some : 'a
+}
+
+struct test = {
+ test1 : int,
+ test2 : option(int)
+}
+
+val main : unit -> unit
+
+function main () = () \ No newline at end of file