Skip to content

Commit

Permalink
Promote tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@Julow
Julow committed Sep 10, 2024
1 parent 8d00e4a commit 6125274
Show file tree
Hide file tree
Showing 392 changed files with 1,240 additions and 938 deletions.
5 changes: 3 additions & 2 deletions test/generators/html/Alerts-Top1.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Alerts.html">Up</a> –
<a href="Alerts.html">Alerts</a> &#x00BB; Top1
<nav class="odoc-nav"><a href="#">Up</a> –
<a href="Alerts.html">Alerts</a> &#x00BB; <a href="#">Top1</a> &#x00BB;
Alerts
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Alerts.Top1</span></code></h1><p>Top-comment.</p>
Expand Down
5 changes: 3 additions & 2 deletions test/generators/html/Alerts-Top2.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Alerts.html">Up</a> –
<a href="Alerts.html">Alerts</a> &#x00BB; Top2
<nav class="odoc-nav"><a href="#">Up</a> –
<a href="Alerts.html">Alerts</a> &#x00BB; <a href="#">Top2</a> &#x00BB;
Alerts
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Alerts.Top2</span></code></h1><p>Top-comment.</p>
Expand Down
3 changes: 3 additions & 0 deletions test/generators/html/Alerts.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="#">Up</a> – <a href="#">Alerts</a>
&#x00BB; Alerts
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Alerts</span></code></h1>
</header>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Alias-X.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Alias.html">Up</a> –
<a href="Alias.html">Alias</a> &#x00BB; X
<nav class="odoc-nav"><a href="#">Up</a> – <a href="Alias.html">Alias</a>
&#x00BB; <a href="#">X</a> &#x00BB; Alias
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Alias.X</span></code></h1>
Expand Down
3 changes: 3 additions & 0 deletions test/generators/html/Alias.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="#">Up</a> – <a href="#">Alias</a> &#x00BB;
Alias
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Alias</span></code></h1>
</header>
Expand Down
3 changes: 3 additions & 0 deletions test/generators/html/Bugs.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="#">Up</a> – <a href="#">Bugs</a> &#x00BB;
Bugs
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Bugs</span></code></h1>
</header>
Expand Down
5 changes: 3 additions & 2 deletions test/generators/html/Bugs_post_406-class-let_open'.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Bugs_post_406.html">Up</a> –
<a href="Bugs_post_406.html">Bugs_post_406</a> &#x00BB; let_open'
<nav class="odoc-nav"><a href="#">Up</a> –
<a href="Bugs_post_406.html">Bugs_post_406</a> &#x00BB;
<a href="#">let_open'</a> &#x00BB; Bugs_post_406
</nav>
<header class="odoc-preamble">
<h1>Class <code><span>Bugs_post_406.let_open'</span></code></h1>
Expand Down
5 changes: 3 additions & 2 deletions test/generators/html/Bugs_post_406-class-type-let_open.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Bugs_post_406.html">Up</a> –
<a href="Bugs_post_406.html">Bugs_post_406</a> &#x00BB; let_open
<nav class="odoc-nav"><a href="#">Up</a> –
<a href="Bugs_post_406.html">Bugs_post_406</a> &#x00BB;
<a href="#">let_open</a> &#x00BB; Bugs_post_406
</nav>
<header class="odoc-preamble">
<h1>Class type <code><span>Bugs_post_406.let_open</span></code></h1>
Expand Down
3 changes: 3 additions & 0 deletions test/generators/html/Bugs_post_406.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="#">Up</a> – <a href="#">Bugs_post_406</a>
&#x00BB; Bugs_post_406
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Bugs_post_406</span></code></h1>
<p>Let-open in class types, https://github.com/ocaml/odoc/issues/543
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Class-class-empty_virtual'.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Class.html">Up</a> –
<a href="Class.html">Class</a> &#x00BB; empty_virtual'
<nav class="odoc-nav"><a href="#">Up</a> – <a href="Class.html">Class</a>
&#x00BB; <a href="#">empty_virtual'</a> &#x00BB; Class
</nav>
<header class="odoc-preamble">
<h1>Class <code><span>Class.empty_virtual'</span></code></h1>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Class-class-mutually'.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Class.html">Up</a> –
<a href="Class.html">Class</a> &#x00BB; mutually'
<nav class="odoc-nav"><a href="#">Up</a> – <a href="Class.html">Class</a>
&#x00BB; <a href="#">mutually'</a> &#x00BB; Class
</nav>
<header class="odoc-preamble">
<h1>Class <code><span>Class.mutually'</span></code></h1>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Class-class-polymorphic'.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Class.html">Up</a> –
<a href="Class.html">Class</a> &#x00BB; polymorphic'
<nav class="odoc-nav"><a href="#">Up</a> – <a href="Class.html">Class</a>
&#x00BB; <a href="#">polymorphic'</a> &#x00BB; Class
</nav>
<header class="odoc-preamble">
<h1>Class <code><span>Class.polymorphic'</span></code></h1>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Class-class-recursive'.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Class.html">Up</a> –
<a href="Class.html">Class</a> &#x00BB; recursive'
<nav class="odoc-nav"><a href="#">Up</a> – <a href="Class.html">Class</a>
&#x00BB; <a href="#">recursive'</a> &#x00BB; Class
</nav>
<header class="odoc-preamble">
<h1>Class <code><span>Class.recursive'</span></code></h1>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Class-class-type-empty.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Class.html">Up</a> –
<a href="Class.html">Class</a> &#x00BB; empty
<nav class="odoc-nav"><a href="#">Up</a> – <a href="Class.html">Class</a>
&#x00BB; <a href="#">empty</a> &#x00BB; Class
</nav>
<header class="odoc-preamble">
<h1>Class type <code><span>Class.empty</span></code></h1>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Class-class-type-empty_virtual.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Class.html">Up</a> –
<a href="Class.html">Class</a> &#x00BB; empty_virtual
<nav class="odoc-nav"><a href="#">Up</a> – <a href="Class.html">Class</a>
&#x00BB; <a href="#">empty_virtual</a> &#x00BB; Class
</nav>
<header class="odoc-preamble">
<h1>Class type <code><span>Class.empty_virtual</span></code></h1>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Class-class-type-mutually.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Class.html">Up</a> –
<a href="Class.html">Class</a> &#x00BB; mutually
<nav class="odoc-nav"><a href="#">Up</a> – <a href="Class.html">Class</a>
&#x00BB; <a href="#">mutually</a> &#x00BB; Class
</nav>
<header class="odoc-preamble">
<h1>Class type <code><span>Class.mutually</span></code></h1>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Class-class-type-polymorphic.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Class.html">Up</a> –
<a href="Class.html">Class</a> &#x00BB; polymorphic
<nav class="odoc-nav"><a href="#">Up</a> – <a href="Class.html">Class</a>
&#x00BB; <a href="#">polymorphic</a> &#x00BB; Class
</nav>
<header class="odoc-preamble">
<h1>Class type <code><span>Class.polymorphic</span></code></h1>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Class-class-type-recursive.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Class.html">Up</a> –
<a href="Class.html">Class</a> &#x00BB; recursive
<nav class="odoc-nav"><a href="#">Up</a> – <a href="Class.html">Class</a>
&#x00BB; <a href="#">recursive</a> &#x00BB; Class
</nav>
<header class="odoc-preamble">
<h1>Class type <code><span>Class.recursive</span></code></h1>
Expand Down
3 changes: 3 additions & 0 deletions test/generators/html/Class.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="#">Up</a> – <a href="#">Class</a> &#x00BB;
Class
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Class</span></code></h1>
</header>
Expand Down
5 changes: 3 additions & 2 deletions test/generators/html/Class_comments-class-c.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Class_comments.html">Up</a> –
<a href="Class_comments.html">Class_comments</a> &#x00BB; c
<nav class="odoc-nav"><a href="#">Up</a> –
<a href="Class_comments.html">Class_comments</a> &#x00BB;
<a href="#">c</a> &#x00BB; Class_comments
</nav>
<header class="odoc-preamble">
<h1>Class <code><span>Class_comments.c</span></code></h1>
Expand Down
5 changes: 3 additions & 2 deletions test/generators/html/Class_comments-class-x.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Class_comments.html">Up</a> –
<a href="Class_comments.html">Class_comments</a> &#x00BB; x
<nav class="odoc-nav"><a href="#">Up</a> –
<a href="Class_comments.html">Class_comments</a> &#x00BB;
<a href="#">x</a> &#x00BB; Class_comments
</nav>
<header class="odoc-preamble">
<h1>Class <code><span>Class_comments.x</span></code></h1>
Expand Down
3 changes: 3 additions & 0 deletions test/generators/html/Class_comments.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="#">Up</a> – <a href="#">Class_comments</a>
&#x00BB; Class_comments
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Class_comments</span></code></h1>
</header>
Expand Down
3 changes: 3 additions & 0 deletions test/generators/html/External.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="#">Up</a> – <a href="#">External</a>
&#x00BB; External
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>External</span></code></h1>
</header>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Functor-F1-argument-1-Arg.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Functor-F1.html">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB;
<a href="Functor-F1.html">F1</a> &#x00BB; Arg
<a href="Functor.html">Functor</a> &#x00BB; <a href="#">Arg</a> &#x00BB;
<a href="Functor-F1.html">F1</a> &#x00BB; Functor
</nav>
<header class="odoc-preamble">
<h1>Parameter <code><span>F1.Arg</span></code></h1>
Expand Down
5 changes: 3 additions & 2 deletions test/generators/html/Functor-F1.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Functor.html">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; F1
<nav class="odoc-nav"><a href="#">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; <a href="#">F1</a> &#x00BB;
Functor
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Functor.F1</span></code></h1>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Functor-F2-argument-1-Arg.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Functor-F2.html">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB;
<a href="Functor-F2.html">F2</a> &#x00BB; Arg
<a href="Functor.html">Functor</a> &#x00BB; <a href="#">Arg</a> &#x00BB;
<a href="Functor-F2.html">F2</a> &#x00BB; Functor
</nav>
<header class="odoc-preamble">
<h1>Parameter <code><span>F2.Arg</span></code></h1>
Expand Down
5 changes: 3 additions & 2 deletions test/generators/html/Functor-F2.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Functor.html">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; F2
<nav class="odoc-nav"><a href="#">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; <a href="#">F2</a> &#x00BB;
Functor
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Functor.F2</span></code></h1>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Functor-F3-argument-1-Arg.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Functor-F3.html">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB;
<a href="Functor-F3.html">F3</a> &#x00BB; Arg
<a href="Functor.html">Functor</a> &#x00BB; <a href="#">Arg</a> &#x00BB;
<a href="Functor-F3.html">F3</a> &#x00BB; Functor
</nav>
<header class="odoc-preamble">
<h1>Parameter <code><span>F3.Arg</span></code></h1>
Expand Down
5 changes: 3 additions & 2 deletions test/generators/html/Functor-F3.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Functor.html">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; F3
<nav class="odoc-nav"><a href="#">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; <a href="#">F3</a> &#x00BB;
Functor
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Functor.F3</span></code></h1>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Functor-F4-argument-1-Arg.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Functor-F4.html">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB;
<a href="Functor-F4.html">F4</a> &#x00BB; Arg
<a href="Functor.html">Functor</a> &#x00BB; <a href="#">Arg</a> &#x00BB;
<a href="Functor-F4.html">F4</a> &#x00BB; Functor
</nav>
<header class="odoc-preamble">
<h1>Parameter <code><span>F4.Arg</span></code></h1>
Expand Down
5 changes: 3 additions & 2 deletions test/generators/html/Functor-F4.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Functor.html">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; F4
<nav class="odoc-nav"><a href="#">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; <a href="#">F4</a> &#x00BB;
Functor
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Functor.F4</span></code></h1>
Expand Down
5 changes: 3 additions & 2 deletions test/generators/html/Functor-F5.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Functor.html">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; F5
<nav class="odoc-nav"><a href="#">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; <a href="#">F5</a> &#x00BB;
Functor
</nav>
<header class="odoc-preamble">
<h1>Module <code><span>Functor.F5</span></code></h1>
Expand Down
5 changes: 3 additions & 2 deletions test/generators/html/Functor-module-type-S.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Functor.html">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; S
<nav class="odoc-nav"><a href="#">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; <a href="#">S</a> &#x00BB;
Functor
</nav>
<header class="odoc-preamble">
<h1>Module type <code><span>Functor.S</span></code></h1>
Expand Down
4 changes: 2 additions & 2 deletions test/generators/html/Functor-module-type-S1-argument-1-_.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Functor-module-type-S1.html">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB;
<a href="Functor-module-type-S1.html">S1</a> &#x00BB; _
<a href="Functor.html">Functor</a> &#x00BB; <a href="#">_</a> &#x00BB;
<a href="Functor-module-type-S1.html">S1</a> &#x00BB; Functor
</nav>
<header class="odoc-preamble">
<h1>Parameter <code><span>S1._</span></code></h1>
Expand Down
5 changes: 3 additions & 2 deletions test/generators/html/Functor-module-type-S1.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@
<script>hljs.initHighlightingOnLoad();</script>
</head>
<body class="odoc">
<nav class="odoc-nav"><a href="Functor.html">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; S1
<nav class="odoc-nav"><a href="#">Up</a> –
<a href="Functor.html">Functor</a> &#x00BB; <a href="#">S1</a> &#x00BB;
Functor
</nav>
<header class="odoc-preamble">
<h1>Module type <code><span>Functor.S1</span></code></h1>
Expand Down
Loading

0 comments on commit 6125274

Please sign in to comment.