Skip to content

Commit 6fbfdbd

Browse files
JulowJulow
committed
Add tests for inline includes
1 parent fb2c379 commit 6fbfdbd

File tree

14 files changed

+618
-0
lines changed

14 files changed

+618
-0
lines changed

‎test/cases/toplevel_comments.mli

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
(** A doc comment at the beginning of a module is considered to be that
2+
module's doc. *)
3+
4+
(** Doc of [T], part 1. *)
5+
module type T = sig
6+
(** Doc of [T], part 2. *)
7+
8+
type t
9+
end
10+
11+
module Include_inline : sig
12+
include T
13+
(** @inline *)
14+
end
15+
16+
(** Doc of [Include_inline], part 1. *)
17+
module Include_inline' : sig
18+
(** Doc of [Include_inline], part 2. *)
19+
20+
include T
21+
(** part 3
22+
@inline *)
23+
end
24+
25+
module type Include_inline_T = sig
26+
include T
27+
(** @inline *)
28+
end
29+
30+
(** Doc of [Include_inline_T'], part 1. *)
31+
module type Include_inline_T' = sig
32+
(** Doc of [Include_inline_T'], part 2. *)
33+
34+
include T
35+
(** part 3
36+
@inline *)
37+
end

‎test/html/expect/test_package+ml/Toplevel_comments/Include_inline'/index.html

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head>
4+
<title>
5+
Include_inline' (test_package+ml.Toplevel_comments.Include_inline')
6+
</title>
7+
<link rel="stylesheet" href="../../../odoc.css">
8+
<meta charset="utf-8">
9+
<meta name="generator" content="odoc %%VERSION%%">
10+
<meta name="viewport" content="width=device-width,initial-scale=1.0">
11+
<script src="../../../highlight.pack.js"></script>
12+
<script>
13+
hljs.initHighlightingOnLoad();
14+
</script>
15+
</head>
16+
<body class="odoc">
17+
<nav class="odoc-nav">
18+
<a href="../index.html">Up</a> – <a href="../../index.html">test_package+ml</a> » <a href="../index.html">Toplevel_comments</a> » Include_inline'
19+
</nav>
20+
<header class="odoc-preamble">
21+
<h1>
22+
Module <code><span>Toplevel_comments.Include_inline'</span></code>
23+
</h1>
24+
<p>
25+
Doc of <code>Include_inline</code>, part 1.
26+
</p>
27+
</header>
28+
<div class="odoc-content">
29+
<p>
30+
Doc of <code>Include_inline</code>, part 2.
31+
</p>
32+
<div class="odoc-include">
33+
<div class="spec include">
34+
<div class="doc">
35+
<p>
36+
part 3
37+
</p>
38+
<div class="odoc-spec">
39+
<div class="spec type" id="type-t">
40+
<a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code>
41+
</div>
42+
</div>
43+
</div>
44+
</div>
45+
</div>
46+
</div>
47+
</body>
48+
</html>

‎test/html/expect/test_package+ml/Toplevel_comments/Include_inline/index.html

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head>
4+
<title>
5+
Include_inline (test_package+ml.Toplevel_comments.Include_inline)
6+
</title>
7+
<link rel="stylesheet" href="../../../odoc.css">
8+
<meta charset="utf-8">
9+
<meta name="generator" content="odoc %%VERSION%%">
10+
<meta name="viewport" content="width=device-width,initial-scale=1.0">
11+
<script src="../../../highlight.pack.js"></script>
12+
<script>
13+
hljs.initHighlightingOnLoad();
14+
</script>
15+
</head>
16+
<body class="odoc">
17+
<nav class="odoc-nav">
18+
<a href="../index.html">Up</a> – <a href="../../index.html">test_package+ml</a> » <a href="../index.html">Toplevel_comments</a> » Include_inline
19+
</nav>
20+
<header class="odoc-preamble">
21+
<h1>
22+
Module <code><span>Toplevel_comments.Include_inline</span></code>
23+
</h1>
24+
</header>
25+
<div class="odoc-content">
26+
<div class="odoc-include">
27+
<div class="spec include">
28+
<div class="doc">
29+
<div class="odoc-spec">
30+
<div class="spec type" id="type-t">
31+
<a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code>
32+
</div>
33+
</div>
34+
</div>
35+
</div>
36+
</div>
37+
</div>
38+
</body>
39+
</html>

‎test/html/expect/test_package+ml/Toplevel_comments/index.html

Lines changed: 71 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,71 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head>
4+
<title>
5+
Toplevel_comments (test_package+ml.Toplevel_comments)
6+
</title>
7+
<link rel="stylesheet" href="../../odoc.css">
8+
<meta charset="utf-8">
9+
<meta name="generator" content="odoc %%VERSION%%">
10+
<meta name="viewport" content="width=device-width,initial-scale=1.0">
11+
<script src="../../highlight.pack.js"></script>
12+
<script>
13+
hljs.initHighlightingOnLoad();
14+
</script>
15+
</head>
16+
<body class="odoc">
17+
<nav class="odoc-nav">
18+
<a href="../index.html">Up</a> – <a href="../index.html">test_package+ml</a> » Toplevel_comments
19+
</nav>
20+
<header class="odoc-preamble">
21+
<h1>
22+
Module <code><span>Toplevel_comments</span></code>
23+
</h1>
24+
<p>
25+
A doc comment at the beginning of a module is considered to be that module's doc.
26+
</p>
27+
</header>
28+
<div class="odoc-content">
29+
<div class="odoc-spec">
30+
<div class="spec module-type" id="module-type-T">
31+
<a href="#module-type-T" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> </span><span><a href="module-type-T/index.html">T</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code>
32+
</div>
33+
<div class="spec-doc">
34+
<p>
35+
Doc of <code>T</code>, part 1.
36+
</p>
37+
</div>
38+
</div>
39+
<div class="odoc-spec">
40+
<div class="spec module" id="module-Include_inline">
41+
<a href="#module-Include_inline" class="anchor"></a><code><span><span class="keyword">module</span> </span><span><a href="Include_inline/index.html">Include_inline</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code>
42+
</div>
43+
</div>
44+
<div class="odoc-spec">
45+
<div class="spec module" id="module-Include_inline'">
46+
<a href="#module-Include_inline'" class="anchor"></a><code><span><span class="keyword">module</span> </span><span><a href="Include_inline'/index.html">Include_inline'</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code>
47+
</div>
48+
<div class="spec-doc">
49+
<p>
50+
Doc of <code>Include_inline</code>, part 1.
51+
</p>
52+
</div>
53+
</div>
54+
<div class="odoc-spec">
55+
<div class="spec module-type" id="module-type-Include_inline_T">
56+
<a href="#module-type-Include_inline_T" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> </span><span><a href="module-type-Include_inline_T/index.html">Include_inline_T</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code>
57+
</div>
58+
</div>
59+
<div class="odoc-spec">
60+
<div class="spec module-type" id="module-type-Include_inline_T'">
61+
<a href="#module-type-Include_inline_T'" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> </span><span><a href="module-type-Include_inline_T'/index.html">Include_inline_T'</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code>
62+
</div>
63+
<div class="spec-doc">
64+
<p>
65+
Doc of <code>Include_inline_T'</code>, part 1.
66+
</p>
67+
</div>
68+
</div>
69+
</div>
70+
</body>
71+
</html>

‎test/html/expect/test_package+ml/Toplevel_comments/module-type-Include_inline_T'/index.html

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head>
4+
<title>
5+
Include_inline_T' (test_package+ml.Toplevel_comments.Include_inline_T')
6+
</title>
7+
<link rel="stylesheet" href="../../../odoc.css">
8+
<meta charset="utf-8">
9+
<meta name="generator" content="odoc %%VERSION%%">
10+
<meta name="viewport" content="width=device-width,initial-scale=1.0">
11+
<script src="../../../highlight.pack.js"></script>
12+
<script>
13+
hljs.initHighlightingOnLoad();
14+
</script>
15+
</head>
16+
<body class="odoc">
17+
<nav class="odoc-nav">
18+
<a href="../index.html">Up</a> – <a href="../../index.html">test_package+ml</a> » <a href="../index.html">Toplevel_comments</a> » Include_inline_T'
19+
</nav>
20+
<header class="odoc-preamble">
21+
<h1>
22+
Module type <code><span>Toplevel_comments.Include_inline_T'</span></code>
23+
</h1>
24+
<p>
25+
Doc of <code>Include_inline_T'</code>, part 1.
26+
</p>
27+
</header>
28+
<div class="odoc-content">
29+
<p>
30+
Doc of <code>Include_inline_T'</code>, part 2.
31+
</p>
32+
<div class="odoc-include">
33+
<div class="spec include">
34+
<div class="doc">
35+
<p>
36+
part 3
37+
</p>
38+
<div class="odoc-spec">
39+
<div class="spec type" id="type-t">
40+
<a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code>
41+
</div>
42+
</div>
43+
</div>
44+
</div>
45+
</div>
46+
</div>
47+
</body>
48+
</html>

‎test/html/expect/test_package+ml/Toplevel_comments/module-type-Include_inline_T/index.html

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head>
4+
<title>
5+
Include_inline_T (test_package+ml.Toplevel_comments.Include_inline_T)
6+
</title>
7+
<link rel="stylesheet" href="../../../odoc.css">
8+
<meta charset="utf-8">
9+
<meta name="generator" content="odoc %%VERSION%%">
10+
<meta name="viewport" content="width=device-width,initial-scale=1.0">
11+
<script src="../../../highlight.pack.js"></script>
12+
<script>
13+
hljs.initHighlightingOnLoad();
14+
</script>
15+
</head>
16+
<body class="odoc">
17+
<nav class="odoc-nav">
18+
<a href="../index.html">Up</a> – <a href="../../index.html">test_package+ml</a> » <a href="../index.html">Toplevel_comments</a> » Include_inline_T
19+
</nav>
20+
<header class="odoc-preamble">
21+
<h1>
22+
Module type <code><span>Toplevel_comments.Include_inline_T</span></code>
23+
</h1>
24+
</header>
25+
<div class="odoc-content">
26+
<div class="odoc-include">
27+
<div class="spec include">
28+
<div class="doc">
29+
<div class="odoc-spec">
30+
<div class="spec type" id="type-t">
31+
<a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code>
32+
</div>
33+
</div>
34+
</div>
35+
</div>
36+
</div>
37+
</div>
38+
</body>
39+
</html>

‎test/html/expect/test_package+ml/Toplevel_comments/module-type-T/index.html

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head>
4+
<title>
5+
T (test_package+ml.Toplevel_comments.T)
6+
</title>
7+
<link rel="stylesheet" href="../../../odoc.css">
8+
<meta charset="utf-8">
9+
<meta name="generator" content="odoc %%VERSION%%">
10+
<meta name="viewport" content="width=device-width,initial-scale=1.0">
11+
<script src="../../../highlight.pack.js"></script>
12+
<script>
13+
hljs.initHighlightingOnLoad();
14+
</script>
15+
</head>
16+
<body class="odoc">
17+
<nav class="odoc-nav">
18+
<a href="../index.html">Up</a> – <a href="../../index.html">test_package+ml</a> » <a href="../index.html">Toplevel_comments</a> » T
19+
</nav>
20+
<header class="odoc-preamble">
21+
<h1>
22+
Module type <code><span>Toplevel_comments.T</span></code>
23+
</h1>
24+
<p>
25+
Doc of <code>T</code>, part 1.
26+
</p>
27+
</header>
28+
<div class="odoc-content">
29+
<p>
30+
Doc of <code>T</code>, part 2.
31+
</p>
32+
<div class="odoc-spec">
33+
<div class="spec type" id="type-t">
34+
<a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code>
35+
</div>
36+
</div>
37+
</div>
38+
</body>
39+
</html>

‎test/html/expect/test_package+re/Toplevel_comments/Include_inline'/index.html

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head>
4+
<title>
5+
Include_inline' (test_package+re.Toplevel_comments.Include_inline')
6+
</title>
7+
<link rel="stylesheet" href="../../../odoc.css">
8+
<meta charset="utf-8">
9+
<meta name="generator" content="odoc %%VERSION%%">
10+
<meta name="viewport" content="width=device-width,initial-scale=1.0">
11+
<script src="../../../highlight.pack.js"></script>
12+
<script>
13+
hljs.initHighlightingOnLoad();
14+
</script>
15+
</head>
16+
<body class="odoc">
17+
<nav class="odoc-nav">
18+
<a href="../index.html">Up</a> – <a href="../../index.html">test_package+re</a> » <a href="../index.html">Toplevel_comments</a> » Include_inline'
19+
</nav>
20+
<header class="odoc-preamble">
21+
<h1>
22+
Module <code><span>Toplevel_comments.Include_inline'</span></code>
23+
</h1>
24+
<p>
25+
Doc of <code>Include_inline</code>, part 1.
26+
</p>
27+
</header>
28+
<div class="odoc-content">
29+
<p>
30+
Doc of <code>Include_inline</code>, part 2.
31+
</p>
32+
<div class="odoc-include">
33+
<div class="spec include">
34+
<div class="doc">
35+
<p>
36+
part 3
37+
</p>
38+
<div class="odoc-spec">
39+
<div class="spec type" id="type-t">
40+
<a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span>;</span></code>
41+
</div>
42+
</div>
43+
</div>
44+
</div>
45+
</div>
46+
</div>
47+
</body>
48+
</html>

0 commit comments

Comments
 (0)