diff options
Diffstat (limited to 'test/ocaml/string_of_struct/sos.sail')
| -rw-r--r-- | test/ocaml/string_of_struct/sos.sail | 17 |
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 |
