Skip to content

Commit 4140527

Browse files
Julowjonludlam
Julow
authored and
jonludlam
committed
Promote 'module_type_subst' test
This test is constrained to OCaml `>= 4.13.0` and was never promoted.
1 parent 5283649 commit 4140527

File tree

46 files changed

+2234
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

46 files changed

+2234
-0
lines changed

‎test/generators/html/Module_type_subst-Basic-module-type-a-M.html

+21
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head><title>M (Module_type_subst.Basic.a.M)</title>
4+
<link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5+
<meta name="generator" content="odoc %%VERSION%%"/>
6+
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7+
<script src="highlight.pack.js"></script>
8+
<script>hljs.initHighlightingOnLoad();</script>
9+
</head>
10+
<body class="odoc">
11+
<nav class="odoc-nav">
12+
<a href="Module_type_subst-Basic-module-type-a.html">Up</a> –
13+
<a href="Module_type_subst.html">Module_type_subst</a> &#x00BB;
14+
<a href="Module_type_subst-Basic.html">Basic</a> &#x00BB;
15+
<a href="Module_type_subst-Basic-module-type-a.html">a</a> &#x00BB;
16+
M
17+
</nav>
18+
<header class="odoc-preamble"><h1>Module <code><span>a.M</span></code></h1>
19+
</header><div class="odoc-content"></div>
20+
</body>
21+
</html>

‎test/generators/html/Module_type_subst-Basic-module-type-a.html

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

‎test/generators/html/Module_type_subst-Basic-module-type-c-M.html

+21
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head><title>M (Module_type_subst.Basic.c.M)</title>
4+
<link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5+
<meta name="generator" content="odoc %%VERSION%%"/>
6+
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7+
<script src="highlight.pack.js"></script>
8+
<script>hljs.initHighlightingOnLoad();</script>
9+
</head>
10+
<body class="odoc">
11+
<nav class="odoc-nav">
12+
<a href="Module_type_subst-Basic-module-type-c.html">Up</a> –
13+
<a href="Module_type_subst.html">Module_type_subst</a> &#x00BB;
14+
<a href="Module_type_subst-Basic.html">Basic</a> &#x00BB;
15+
<a href="Module_type_subst-Basic-module-type-c.html">c</a> &#x00BB;
16+
M
17+
</nav>
18+
<header class="odoc-preamble"><h1>Module <code><span>c.M</span></code></h1>
19+
</header><div class="odoc-content"></div>
20+
</body>
21+
</html>

‎test/generators/html/Module_type_subst-Basic-module-type-c.html

+31
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head><title>c (Module_type_subst.Basic.c)</title>
4+
<link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5+
<meta name="generator" content="odoc %%VERSION%%"/>
6+
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7+
<script src="highlight.pack.js"></script>
8+
<script>hljs.initHighlightingOnLoad();</script>
9+
</head>
10+
<body class="odoc">
11+
<nav class="odoc-nav"><a href="Module_type_subst-Basic.html">Up</a>
12+
– <a href="Module_type_subst.html">Module_type_subst</a> &#x00BB;
13+
<a href="Module_type_subst-Basic.html">Basic</a> &#x00BB; c
14+
</nav>
15+
<header class="odoc-preamble">
16+
<h1>Module type <code><span>Basic.c</span></code></h1>
17+
</header>
18+
<div class="odoc-content">
19+
<div class="odoc-spec">
20+
<div class="spec module" id="module-M" class="anchored">
21+
<a href="#module-M" class="anchor"></a>
22+
<code><span><span class="keyword">module</span> </span>
23+
<span><a href="Module_type_subst-Basic-module-type-c-M.html">M</a>
24+
</span>
25+
<span> : <a href="Module_type_subst-module-type-s.html">s</a></span>
26+
</code>
27+
</div>
28+
</div>
29+
</div>
30+
</body>
31+
</html>

‎test/generators/html/Module_type_subst-Basic-module-type-u-module-type-T.html

+22
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head><title>T (Module_type_subst.Basic.u.T)</title>
4+
<link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5+
<meta name="generator" content="odoc %%VERSION%%"/>
6+
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7+
<script src="highlight.pack.js"></script>
8+
<script>hljs.initHighlightingOnLoad();</script>
9+
</head>
10+
<body class="odoc">
11+
<nav class="odoc-nav">
12+
<a href="Module_type_subst-Basic-module-type-u.html">Up</a> –
13+
<a href="Module_type_subst.html">Module_type_subst</a> &#x00BB;
14+
<a href="Module_type_subst-Basic.html">Basic</a> &#x00BB;
15+
<a href="Module_type_subst-Basic-module-type-u.html">u</a> &#x00BB;
16+
T
17+
</nav>
18+
<header class="odoc-preamble">
19+
<h1>Module type <code><span>u.T</span></code></h1>
20+
</header><div class="odoc-content"></div>
21+
</body>
22+
</html>

‎test/generators/html/Module_type_subst-Basic-module-type-u.html

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

‎test/generators/html/Module_type_subst-Basic-module-type-u2-M.html

+22
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head><title>M (Module_type_subst.Basic.u2.M)</title>
4+
<link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5+
<meta name="generator" content="odoc %%VERSION%%"/>
6+
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7+
<script src="highlight.pack.js"></script>
8+
<script>hljs.initHighlightingOnLoad();</script>
9+
</head>
10+
<body class="odoc">
11+
<nav class="odoc-nav">
12+
<a href="Module_type_subst-Basic-module-type-u2.html">Up</a> –
13+
<a href="Module_type_subst.html">Module_type_subst</a> &#x00BB;
14+
<a href="Module_type_subst-Basic.html">Basic</a> &#x00BB;
15+
<a href="Module_type_subst-Basic-module-type-u2.html">u2</a> &#x00BB;
16+
M
17+
</nav>
18+
<header class="odoc-preamble">
19+
<h1>Module <code><span>u2.M</span></code></h1>
20+
</header><div class="odoc-content"></div>
21+
</body>
22+
</html>

‎test/generators/html/Module_type_subst-Basic-module-type-u2-module-type-T.html

+22
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head><title>T (Module_type_subst.Basic.u2.T)</title>
4+
<link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5+
<meta name="generator" content="odoc %%VERSION%%"/>
6+
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7+
<script src="highlight.pack.js"></script>
8+
<script>hljs.initHighlightingOnLoad();</script>
9+
</head>
10+
<body class="odoc">
11+
<nav class="odoc-nav">
12+
<a href="Module_type_subst-Basic-module-type-u2.html">Up</a> –
13+
<a href="Module_type_subst.html">Module_type_subst</a> &#x00BB;
14+
<a href="Module_type_subst-Basic.html">Basic</a> &#x00BB;
15+
<a href="Module_type_subst-Basic-module-type-u2.html">u2</a> &#x00BB;
16+
T
17+
</nav>
18+
<header class="odoc-preamble">
19+
<h1>Module type <code><span>u2.T</span></code></h1>
20+
</header><div class="odoc-content"></div>
21+
</body>
22+
</html>

‎test/generators/html/Module_type_subst-Basic-module-type-u2.html

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

‎test/generators/html/Module_type_subst-Basic-module-type-with_.html

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

‎test/generators/html/Module_type_subst-Basic-module-type-with_2-M.html

+22
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head><title>M (Module_type_subst.Basic.with_2.M)</title>
4+
<link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5+
<meta name="generator" content="odoc %%VERSION%%"/>
6+
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7+
<script src="highlight.pack.js"></script>
8+
<script>hljs.initHighlightingOnLoad();</script>
9+
</head>
10+
<body class="odoc">
11+
<nav class="odoc-nav">
12+
<a href="Module_type_subst-Basic-module-type-with_2.html">Up</a> –
13+
<a href="Module_type_subst.html">Module_type_subst</a> &#x00BB;
14+
<a href="Module_type_subst-Basic.html">Basic</a> &#x00BB;
15+
<a href="Module_type_subst-Basic-module-type-with_2.html">with_2</a>
16+
&#x00BB; M
17+
</nav>
18+
<header class="odoc-preamble">
19+
<h1>Module <code><span>with_2.M</span></code></h1>
20+
</header><div class="odoc-content"></div>
21+
</body>
22+
</html>

‎test/generators/html/Module_type_subst-Basic-module-type-with_2-module-type-T.html

+22
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
<!DOCTYPE html>
2+
<html xmlns="http://www.w3.org/1999/xhtml">
3+
<head><title>T (Module_type_subst.Basic.with_2.T)</title>
4+
<link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
5+
<meta name="generator" content="odoc %%VERSION%%"/>
6+
<meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7+
<script src="highlight.pack.js"></script>
8+
<script>hljs.initHighlightingOnLoad();</script>
9+
</head>
10+
<body class="odoc">
11+
<nav class="odoc-nav">
12+
<a href="Module_type_subst-Basic-module-type-with_2.html">Up</a> –
13+
<a href="Module_type_subst.html">Module_type_subst</a> &#x00BB;
14+
<a href="Module_type_subst-Basic.html">Basic</a> &#x00BB;
15+
<a href="Module_type_subst-Basic-module-type-with_2.html">with_2</a>
16+
&#x00BB; T
17+
</nav>
18+
<header class="odoc-preamble">
19+
<h1>Module type <code><span>with_2.T</span></code></h1>
20+
</header><div class="odoc-content"></div>
21+
</body>
22+
</html>

0 commit comments

Comments
 (0)