[hcoop/debian/mlton.git] / regression / fail / sig.2.sml

signature S = sig type t end
signature S1 = S where type t = int
signature S2 = S where type t = real

structure S1: S1 =
   struct
      type t = int
   end

structure S2: S2 = S1
Commit	Line	Data
7f918cf1 CE	1	signature S = sig type t end
	2	signature S1 = S where type t = int
	3	signature S2 = S where type t = real
	4
	5	structure S1: S1 =
	6	struct
	7	type t = int
	8	end
	9
	10	structure S2: S2 = S1
	11