+3

test/xref2/include_modsubst.t/a.mli

reviewed

··· 1 1 + module View : sig type t end 2 2 + module Short := View 3 3 + type t = Short.t

+1

test/xref2/include_modsubst.t/b.mli

reviewed

··· 1 1 + include module type of struct include A end

+22

test/xref2/include_modsubst.t/run.t

reviewed

··· 1 1 + When a module has a destructive module substitution (`:=`) and another module 2 2 + includes it via `module type of struct include ... end`, odoc's `apply_inner_substs` 3 3 + encounters a `Local` identifier in the substitution's manifest that it cannot resolve. 4 4 + 5 5 + $ cat a.mli 6 6 + module View : sig type t end 7 7 + module Short := View 8 8 + type t = Short.t 9 9 + 10 10 + $ cat b.mli 11 11 + include module type of struct include A end 12 12 + 13 13 + 14 14 + $ ocamlc -c -bin-annot a.mli 15 15 + $ ocamlc -c -bin-annot b.mli 16 16 + 17 17 + $ odoc compile a.cmti 18 18 + $ odoc compile -I . b.cmti 19 19 + $ odoc link -I . b.odoc 20 20 + $ odoc_print b.odocl --short --show-include-expansions 21 21 + include module type of struct include A end 22 22 + (sig : module View = A.View type t = View.t end)