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

signature S =
   sig
      type ('a, 'b) t
      type ('a, 'b) u
      type ('a, 'b) v = ('b, 'a) t
      sharing type u = v
   end
Commit	Line	Data
7f918cf1 CE	1	signature S =
	2	sig
	3	type ('a, 'b) t
	4	type ('a, 'b) u
	5	type ('a, 'b) v = ('b, 'a) t
	6	sharing type u = v
	7	end