regression/fail/modules.29.sml

   1 (* Generativity of functors. *)
   2 functor F () =
   3    struct
   4       datatype t = T
   5    end
   6 structure S1 = F ()
   7 structure S2 = F ()
   8 val _ = S1.T = S2.T