[hcoop/debian/mlton.git] / regression / 5.sml

(* Verifies that signature constraints change status *)
structure S:
   sig
      val E: exn
   end =
   struct
      exception E
   end

local open S
in val E = E
end

val e = E

structure S:
   sig
      type t
      val A: t
   end =
   struct
      datatype t = A
   end

local
   open S
in
   val A = A
end

val a = A
Commit	Line	Data
7f918cf1 CE	1	(* Verifies that signature constraints change status *)
	2	structure S:
	3	sig
	4	val E: exn
	5	end =
	6	struct
	7	exception E
	8	end
	9
	10	local open S
	11	in val E = E
	12	end
	13
	14	val e = E
	15
	16	structure S:
	17	sig
	18	type t
	19	val A: t
	20	end =
	21	struct
	22	datatype t = A
	23	end
	24
	25	local
	26	open S
	27	in
	28	val A = A
	29	end
	30
	31	val a = A
	32