summaryrefslogtreecommitdiffstats
path: root/tests/16-datatype.sml
blob: ee4dd161bb0cc06b4fe93448d41bfed7f38811dc (plain) (blame)
1
2
3
4
5
6
datatype D = A | B of int

val _ =
  case B 42 of
    B x => __builtin "exit" x
  | _ => __builtin "exit" 0