(* TEST
 flags = " -short-paths ";
 toplevel;
*)

(** Test that short-path printtyp does not fail on packed module.

  Packed modules does not respect the arity of type constructor, which can break
  the path normalization within the short-path code path.
*)
module type S = sig type t end;;
module N = struct type 'a t = 'a end;;
let f ((module M):(module S with type t = unit)) = ();;
let () = f (module N);;
