regression/fail/modules.49.sml

   1 signature SIG =
   2    sig
   3       type t
   4    end
   5
   6 functor F (structure S1: SIG
   7            structure S2: SIG
   8            sharing S1 = S2) =
   9    struct
  10    end
  11
  12 structure S1: SIG = struct type t = int end
  13 structure S2: SIG = struct type t = real end
  14 structure Z = F (structure S1 = S1
  15                  structure S2 = S2)