summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-short-paths/pr5918.ml
blob: 191ee1fde0a8ff2cc874a5d6b6b3d637d991f136 (plain)
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
;;