summaryrefslogtreecommitdiff
path: root/testsuite/tests/basic-modules/pr4008.ml
blob: bb0df2d51914ae511c4955ada72e40ccec91fb80 (plain)
1
2
3
4
5
6
module rec M : sig
  val f : int list -> int list
end = struct
  let f = List.map succ
end
let v = M.f []