test/c/anon_rec.sail


1
2
3
4
5
6
7
8
9
10
11
12

default Order dec

union Foo ('a : Type) = {
  MkFoo : { field1 : 'a, field2 : int }
}

val "print_endline" : string -> unit

function main((): unit) -> unit = {
  let _: Foo(unit) = MkFoo(struct { field1 = (), field2 = 22 });
  print_endline("ok")
}