summaryrefslogtreecommitdiff
path: root/test/ocaml/string_of_struct/sos.sail
blob: 69a17e6c04a8decbe9e6bc4daf0a57e23b185a21 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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 : unit,
  Some : 'a
}

struct test = {
  test1 : int,
  test2 : option(int)
}

val main : unit -> unit

function main () = ()