jon.recoil.org
this repo has no description
Squashed 'odoc/' changes from 864fa6e09..71fe7ccd3
71fe7ccd3 Merge branch 'point-release-fixes' of https://github.com/jonludlam/odoc
4d53f50da Make all warnings respect --warn-error
d1f796f14 Add test showing --warn-error doesn't affect unresolved references
d6c8ece57 Don't resolve imports without digests during compile
18adbf89b Add test for no-alias-deps import resolution bug
c3f0f46ee Update for dune 3.21
git-subtree-dir: odoc
git-subtree-split: 71fe7ccd36eee7f244a355653e10de197d6bcb94
+1
test/integration/no_alias_deps.t/a.ml
+1
test/integration/no_alias_deps.t/a.ml
···
1
+
module B = B
+1
test/integration/no_alias_deps.t/b.mli
+1
test/integration/no_alias_deps.t/b.mli
···
1
+
type t = int
+37
test/integration/no_alias_deps.t/run.t
+37
test/integration/no_alias_deps.t/run.t
···
1
+
When compiling with -no-alias-deps, module aliases produce imports without
2
+
digests. odoc should not try to resolve these imports, as looking them up in
3
+
the include path could find stale artifacts from a previous build, associating
4
+
a wrong digest and breaking incremental rebuilds.
5
+
6
+
Compile b.mli normally, and a.ml with -no-alias-deps. Module A contains
7
+
`module B = B`, so B appears as an import of A without a digest.
8
+
9
+
$ ocamlc -c -bin-annot b.mli
10
+
$ ocamlc -c -bin-annot -no-alias-deps -w -49 a.ml
11
+
12
+
Verify that B has no digest in the compiled .cmt:
13
+
14
+
$ ocamlobjinfo a.cmt | grep " -------------------------------- B" | head -1
15
+
-------------------------------- B
16
+
17
+
compile-deps correctly omits imports without digests:
18
+
19
+
$ odoc compile-deps a.cmt | cut -d ' ' -f 1 | sort
20
+
A
21
+
CamlinternalFormatBasics
22
+
Stdlib
23
+
24
+
Compile both with odoc. B's .odoc is present in the include path.
25
+
26
+
$ odoc compile --pkg test -I . b.cmti
27
+
$ odoc compile --pkg test -I . a.cmt
28
+
29
+
B should remain unresolved in A's imports, since it had no digest:
30
+
31
+
$ odoc_print a.odoc | grep 'Unresolved.*"B"'
32
+
{ "Unresolved": [ "B", "None" ] },
33
+
34
+
link-deps should not report B as a dependency:
35
+
36
+
$ odoc link-deps . | grep B
37
+
[1]