blob: 0b21b183038170a8bf17ce11e83b80b07ac94223 (
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>
|}]
|