Source

compiler-libs-hack / ocaml / testsuite / tests / typing-misc / occur_check.ml

Full commit
1
2
3
4
5
(* PR#5907 *)

type 'a t = 'a;;
let f (g : 'a list -> 'a t -> 'a) s = g s s;;
let f (g : 'a * 'b -> 'a t -> 'a) s = g s s;;