Commit 46a9fc15 authored by François Bobot's avatar François Bobot

Removes empty functor parameters in OCaml extraction

parent 91413f34
......@@ -689,8 +689,7 @@ module Print = struct
let extract_functor_args info dl =
let rec extract args = function
(* FIXME remove empty args? *)
(* | Dmodule (_, []) :: dl -> extract args dl *)
| Dmodule (_, []) :: dl -> extract args dl
| Dmodule (x, dlx) :: dl when is_signature info dlx ->
extract ((x, dlx) :: args) dl
| dl -> List.rev args, dl in
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment