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

signature S = sig end

functor f () =
  struct
    structure K : S =
      struct
      end
  end


signature A = 
  sig type t val a : t
  end
            
signature B =
  sig
    type s
    structure A : A where type t= s
    val a : s
  end

signature C = 
  sig
    structure A : A
    structure B : B
    sharing type A.t = B.s = B.A.t
  end

structure A = 
  struct
    datatype t = A | B
    val a = A
    val b = B
  end

structure A' = A : A
structure A'' : A = A
val test1 = A'.a = A''.a
Commit	Line	Data
7f918cf1 CE	1	signature S = sig end
	2
	3	functor f () =
	4	struct
	5	structure K : S =
	6	struct
	7	end
	8	end
	9
	10
	11	signature A =
	12	sig type t val a : t
	13	end
	14
	15	signature B =
	16	sig
	17	type s
	18	structure A : A where type t= s
	19	val a : s
	20	end
	21
	22	signature C =
	23	sig
	24	structure A : A
	25	structure B : B
	26	sharing type A.t = B.s = B.A.t
	27	end
	28
	29	structure A =
	30	struct
	31	datatype t = A \| B
	32	val a = A
	33	val b = B
	34	end
	35
	36	structure A' = A : A
	37	structure A'' : A = A
	38	val test1 = A'.a = A''.a