regression/warn/warning.sml

   1 (* No warning according to page 28 of defn *)
   2 val x::l = []
   3
   4 structure S =
   5    struct
   6       val x :: l = []
   7    end
   8
   9 val _ =
  10    let
  11       val x::l = []  (* But this should generate a warning. *)
  12    in
  13       ()
  14    end
  15
  16 val _ =
  17    case 13 of
  18       1 => ()
  19
  20 val _ =
  21    case 13 of
  22       1 => 2
  23     | 1 => 3
  24     | 1 => 4
  25
  26 val NONE = NONE
  27
  28 fun f _ 1 = ()
  29   | f 1 _ = ()
  30
  31 fun f _ _ = ()
  32   | f 1 2 = ()
  33   | f 3 4 = ()
  34
  35 val _ = fn 13 => ()
  36
  37 val _ = () handle _ => () | x => ()