test/c/enum_match.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

val "eq_anything" : forall ('a : Type). ('a, 'a) -> bool

overload operator == = {eq_anything}

val print = "print_endline" : string -> unit

enum test = A | B

function main (() : unit) -> unit = {
  let x = A;
  match x {
    B => print("B"),
    A => print("A")
  }
}