regression/sigs.sml

   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