diff --git a/ocaml/testsuite/tests/typing-local/local_optparam.ml b/ocaml/testsuite/tests/typing-local/local_optparam.ml new file mode 100644 index 00000000000..79b892bac89 --- /dev/null +++ b/ocaml/testsuite/tests/typing-local/local_optparam.ml @@ -0,0 +1,6 @@ +(* TEST *) + +let foo (local_ f) l = l +let go a b g ?(x = foo (fun y -> a, y) b) () = + let x = foo (fun y -> a, y) x in + g x \ No newline at end of file diff --git a/ocaml/testsuite/tests/typing-local/local_optparam.reference b/ocaml/testsuite/tests/typing-local/local_optparam.reference new file mode 100644 index 00000000000..e69de29bb2d