regression/warn/undetermined.sml

   1 (* 1.sml *)
   2 val id = (fn x => x) (fn x => x)
   3 ;
   4 structure B : sig end =
   5 struct
   6     val a = ref nil
   7 end
   8 ;
   9 (* 3.sml *)
  10 val id = (fn x => x) (fn x => x)
  11 ;
  12 val _ = id 13
  13 ;
  14 (* 6.sml *)
  15 val id = (fn x => x) (fn x => x)
  16 val id = ()
  17 ;
  18 val x = ref [];
  19 val _ = 1 :: !x
  20 ;
  21 val x = ref nil
  22 signature S = sig end
  23 val _ = 1 :: !x
  24 ;
  25 val x = ref nil;
  26 val _ = () :: !x
  27
  28