blob: 7aff93f1fae50fcefe50f2962321aab5dc482646 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
(* TEST
flags = "-i -w +63"
* setup-ocamlc.byte-build-env
** ocamlc.byte
*** check-ocamlc.byte-output
*)
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
|