path: root/tests/175-case-datatype-default.sml

datatype D = A of int * int | B

val _ = __builtin "exit"
  (case A (42, 13) of
    A (x, 13) => x
  | _ => 10)