regression/fail/sharing.2.sml

   1 functor F (structure A: sig type t end
   2            structure B: sig end
   3            structure C: sig type t end
   4            sharing A = B
   5            sharing B = C) =
   6    struct
   7       val _: A.t -> C.t = fn x => x
   8    end