blob: 6084550d13c77a87170fe2ab047bea07109e8959 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
(* TEST_BELOW
(* Blank lines added here to preserve locations. *)
*)
type 'a t = B of 'a t list
let rec foo f = function
| B(v)::tl -> B(foo f v)::foo f tl
| [] -> []
module DT = struct
type 'a t = {bar : 'a}
let p t = foo (fun x -> x) t
end
(* TEST
flags = "-i -w +63";
setup-ocamlc.byte-build-env;
ocamlc.byte;
check-ocamlc.byte-output;
*)
|