summaryrefslogtreecommitdiff
path: root/testsuite/tests/parsing/pr10468.ml
blob: d795b3bf0f6454906f287dd2c471026b11847f05 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
(* TEST
    flags = "-dsource"
    * expect
*)

module type S = sig
  type t
  type t' := t
end
[%%expect {|

module type S  = sig type t type t' := t end;;
module type S = sig type t end
|}]