Merge branch 'sail2' of https://bitbucket.org/Peter_Sewell/sail into sail2

3 files changed, 21 insertions, 0 deletions

diff --git a/test/ocaml/string_of_struct/expect b/test/ocaml/string_of_struct/expect
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/test/ocaml/string_of_struct/expect
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
diff --git a/test/ocaml/string_of_struct/test.isail b/test/ocaml/string_of_struct/test.isail
new file mode 100644
index 00000000..6a9595e3
--- /dev/null
+++ b/test/ocaml/string_of_struct/test.isail
@@ -0,0 +1,4 @@
+:output result
+main()
+:run
+:quit
\ No newline at end of file