regression/fail/modules.18.sml

   1 structure T =
   2    struct
   3       structure X =
   4          struct
   5             type t = int
   6          end
   7    end
   8 signature S =
   9    sig
  10       structure T: sig end
  11       val x: T.X.t
  12    end