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

structure S :> sig type ('a,'b) t 
                   val f : ('a,'b) t -> ('b,'a) t
                   val mk : 'a * 'b -> ('a,'b) t 
               end
             =
           struct
             type ('a,'b) t = 'b * 'a
             fun f (x,y) = (y,x)
             fun mk (a,b) = (b,a)
           end

val a = S.mk (5, "hello")

val b = S.f a
Commit	Line	Data
7f918cf1 CE	1	structure S :> sig type ('a,'b) t
	2	val f : ('a,'b) t -> ('b,'a) t
	3	val mk : 'a * 'b -> ('a,'b) t
	4	end
	5	=
	6	struct
	7	type ('a,'b) t = 'b * 'a
	8	fun f (x,y) = (y,x)
	9	fun mk (a,b) = (b,a)
	10	end
	11
	12	val a = S.mk (5, "hello")
	13
	14	val b = S.f a