[hcoop/debian/mlton.git] / regression / fail / modules.17.sml

structure S:
   sig
      eqtype t
      structure Z:
         sig
            datatype u = U
         end where type u = t
   end =
   struct
      structure Z =
         struct
            datatype u = U
         end
      datatype t = datatype Z.u
      structure Z =
         struct
            type u = Z.u
            datatype z = datatype Z.u
         end
   end
Commit	Line	Data
7f918cf1 CE	1	structure S:
	2	sig
	3	eqtype t
	4	structure Z:
	5	sig
	6	datatype u = U
	7	end where type u = t
	8	end =
	9	struct
	10	structure Z =
	11	struct
	12	datatype u = U
	13	end
	14	datatype t = datatype Z.u
	15	structure Z =
	16	struct
	17	type u = Z.u
	18	datatype z = datatype Z.u
	19	end
	20	end