1 2 3 4 5 6 7 8 9 10 11 12
(* TEST flags = " -short-paths " * toplevel *) module rec A : sig type t end = struct type t = { a : unit; b : unit } let _ = { a = () } end ;;