regression/fail/exp.sml

   1 val _ = 1 andalso true
   2
   3 val _ = true andalso 1
   4
   5 val _ = 13 14
   6
   7 val _ = (op +) (1, true)
   8
   9 val _ =
  10    case "foo" of
  11       13 => 14
  12
  13 val _ = 13: bool
  14
  15 val _ = + 1 2
  16
  17 val _ = 1 handle _ => "foo"
  18
  19 val _ = () handle _: int => ()
  20
  21 val _ = if "foo" then () else ()
  22
  23 val _ = if true then 1 else "foo"
  24
  25 val _ = [1, 2, "foo"]
  26
  27 val _ = 1 orelse true
  28
  29 val _ = true orelse 1
  30
  31 val _ = raise 13
  32
  33 val _ = "foo" + "bar"
  34
  35 val _ = while "foo" do ()
  36
  37 val _ =
  38    fn _: int => ()
  39     | _: bool => ()
  40
  41 val _ =
  42    fn 1 => "foo"
  43     | 2 => true
  44