regression/fail/functor-generative-equality.sml

   1 functor F () =
   2    struct
   3       datatype t = T of int -> int
   4    end
   5
   6 functor G () =
   7    struct
   8       structure S = F ()
   9
  10       fun f (x: S.t) = x = x
  11    end