test: Reproduction for #1173

ocaml · Sep 13, 2024 · 14da78f · 14da78f
1 parent 6854913
commit 14da78f
Show file tree

Hide file tree

Showing 4 changed files with 34 additions and 0 deletions.
diff --git a/test/generators/cases/bugs.ml b/test/generators/cases/bugs.ml
@@ -3,3 +3,5 @@ let foo (type a) ?(bar : a opt) () = ()
 (** Triggers an assertion failure when
     {:https://github.com/ocaml/odoc/issues/101} is not fixed. *)
 
+let repeat x y = (x, y, x, y)
+(** Renders as [val repeat : 'a -> 'b -> 'c * 'd * 'e * 'f] before https://github.com/ocaml/odoc/pull/1173 *)
diff --git a/test/generators/html/Bugs.html b/test/generators/html/Bugs.html
@@ -40,6 +40,29 @@ <h1>Module <code><span>Bugs</span></code></h1>
      </p>
     </div>
    </div>
+   <div class="odoc-spec">
+    <div class="spec value anchored" id="val-repeat">
+     <a href="#val-repeat" class="anchor"></a>
+     <code>
+      <span><span class="keyword">val</span> repeat : 
+       <span><span class="type-var">'a</span> 
+        <span class="arrow">&#45;&gt;</span>
+       </span> 
+       <span><span class="type-var">'b</span> 
+        <span class="arrow">&#45;&gt;</span>
+       </span> <span class="type-var">'c</span> * 
+       <span class="type-var">'d</span> * <span class="type-var">'e</span>
+        * <span class="type-var">'f</span>
+      </span>
+     </code>
+    </div>
+    <div class="spec-doc">
+     <p>Renders as 
+      <code>val repeat : 'a -&gt; 'b -&gt; 'c * 'd * 'e * 'f</code> before
+       https://github.com/ocaml/odoc/pull/1173
+     </p>
+    </div>
+   </div>
   </div>
  </body>
 </html>
diff --git a/test/generators/latex/Bugs.tex b/test/generators/latex/Bugs.tex
@@ -2,5 +2,7 @@ \section{Module \ocamlinlinecode{Bugs}}\label{module-Bugs}%
 \label{module-Bugs-type-opt}\ocamlcodefragment{\ocamltag{keyword}{type} 'a opt = \ocamltag{type-var}{'a} option}\\
 \label{module-Bugs-val-foo}\ocamlcodefragment{\ocamltag{keyword}{val} foo : \ocamltag{optlabel}{?bar}:\ocamltag{type-var}{'a} \ocamltag{arrow}{$\rightarrow$} unit \ocamltag{arrow}{$\rightarrow$} unit}\begin{ocamlindent}Triggers an assertion failure when \href{https://github.com/ocaml/odoc/issues/101}{https://github.com/ocaml/odoc/issues/101}\footnote{\url{https://github.com/ocaml/odoc/issues/101}} is not fixed.\end{ocamlindent}%
 \medbreak
+\label{module-Bugs-val-repeat}\ocamlcodefragment{\ocamltag{keyword}{val} repeat : \ocamltag{type-var}{'a} \ocamltag{arrow}{$\rightarrow$} \ocamltag{type-var}{'b} \ocamltag{arrow}{$\rightarrow$} \ocamltag{type-var}{'c} * \ocamltag{type-var}{'d} * \ocamltag{type-var}{'e} * \ocamltag{type-var}{'f}}\begin{ocamlindent}Renders as \ocamlinlinecode{val repeat : 'a -> 'b -> 'c * 'd * 'e * 'f} before https://github.com/ocaml/odoc/pull/1173\end{ocamlindent}%
+\medbreak
 
 
diff --git a/test/generators/man/Bugs.3o b/test/generators/man/Bugs.3o
@@ -23,4 +23,11 @@ https://github\.com/ocaml/odoc/issues/101
 .UE 
  is not fixed\.
 .nf 
+.sp 
+\f[CB]val\fR repeat : \f[CB]'a\fR \f[CB]\->\fR \f[CB]'b\fR \f[CB]\->\fR \f[CB]'c\fR * \f[CB]'d\fR * \f[CB]'e\fR * \f[CB]'f\fR
+.fi 
+.br 
+.ti +2
+Renders as val repeat : 'a -> 'b -> 'c * 'd * 'e * 'f before https://github\.com/ocaml/odoc/pull/1173
+.nf