summaryrefslogtreecommitdiff
path: root/testsuite/tests/parsing/anonymous_class_parameter.ml
blob: d2a9fed4788290d90a987bbac0603af71b322b96 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
(* TEST
 flags = "-i";
 setup-ocamlc.byte-build-env;
 ocamlc.byte;
 check-ocamlc.byte-output;
*)

(* This test is valid OCaml code.
   It uses an anonymous type variable as a formal parameter in a class
   declaration. This used to be rejected by the parser, even though the
   printer (ocamlc -i) could in fact produce it. *)

class ['a, _] foo = object
  method bar: 'a -> 'a = fun x -> x
end