blob: 6812764e5d67b33a466016aeedd3bc9a494fb415 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
(* TEST
expect;
*)
(* #8907 *)
module M = struct
type t = int
let f (x : [< `Foo of t & int & string]) = ()
end;;
[%%expect{|
module M : sig type t = int val f : [< `Foo of t & int & string ] -> unit end
|}]
type t = int
let f (x : [< `Foo of t & int & string]) = () ;;
[%%expect{|
type t = int
val f : [< `Foo of t & int & string ] -> unit = <fun>
|}]
|
