summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-misc/typecore_empty_polyvariant_error.ml
blob: 041f1f8eb06ea5c2508cdff93bce4cfcd4f670d5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
(* TEST
 readonly_files = "empty_ppx.ml";
 setup-ocamlc.byte-build-env;
 all_modules = "empty_ppx.ml";
 program = "ppx.exe";
 ocamlc.byte with ocamlcommon;
 all_modules = "${test_file}";
 flags = "-ppx '${ocamlrun} ${test_build_directory_prefix}/ocamlc.byte/ppx.exe'";
 toplevel;
*)

type t = [%empty_polyvar];;
let f: 'a. t -> 'a = function #t -> . ;;