[hcoop/debian/mlton.git] / regression / warn / undetermined.sml

(* 1.sml *)
val id = (fn x => x) (fn x => x)
;
structure B : sig end =
struct
    val a = ref nil
end
;
(* 3.sml *)
val id = (fn x => x) (fn x => x)
;
val _ = id 13
;
(* 6.sml *)
val id = (fn x => x) (fn x => x)
val id = ()
;
val x = ref [];
val _ = 1 :: !x
;
val x = ref nil
signature S = sig end
val _ = 1 :: !x
;
val x = ref nil;
val _ = () :: !x
Commit	Line	Data
7f918cf1 CE	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