blob: 3dc33fb4c7d37bd6ce9d436a5187a4f9aa5244ba (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(* 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:S with type t = unit) = ();;
let () = f (module N);;
|