Merge pull request #1255 from Julow/v2.4-compat-5.3

(v2.4) Compatibility with OCaml 5.3

Author: Julow

odoc-parser.opam

@@ -14,7 +14,7 @@ dev-repo: "git+https://github.com/ocaml/odoc.git"
 doc: "https://ocaml.github.io/odoc/odoc_parser"
 depends: [
   "dune" {>= "3.7"}
-  "ocaml" {>= "4.02.0" & < "5.3"}
+  "ocaml" {>= "4.02.0" & < "5.4"}
   "astring"
   "result"
   "camlp-streams"

odoc.opam

@@ -45,7 +45,7 @@ depends: [
   "cppo" {build & >= "1.1.0"}
   "dune" {>= "3.7.0"}
   "fpath"
-  "ocaml" {>= "4.02.0" & < "5.3"}
+  "ocaml" {>= "4.02.0" & < "5.4"}
   "result"
   "tyxml" {>= "4.4.0"}
   "fmt"

src/syntax_highlighter/syntax_highlighter.ml

@@ -153,6 +153,7 @@ let tag_of_token (tok : Parser.token) =
 #endif
 
 let syntax_highlighting_locs src =
+    Lexer.init ();
   let lexbuf = Lexing.from_string
 #if OCAML_VERSION >= (4,8,0)
       ~with_positions:true

test/generators/cases/alerts.mli

@@ -17,16 +17,12 @@ val c : int
 (* At the top-level of a module. *)
 
 module Top1 : sig
-  [@@@deprecated "A"]
-
-  (** Top-comment. *)
-end
-
-module Top2 : sig
-  [@@@deprecated "A"]
 
+  (* On OCaml 4.04 to 4.06, this top-comment is lost by the parser if there's
+     no empty line before it. *)
   (** Top-comment. *)
 end
+[@@deprecated "A"]
 
 (* Deprecated alert tag. *)
 

test/generators/html/Alerts-Top1.html

@@ -12,10 +12,10 @@
    <a href="Alerts.html">Alerts</a> &#x00BB; Top1
   </nav>
   <header class="odoc-preamble">
-   <h1>Module <code><span>Alerts.Top1</span></code></h1><p>Top-comment.</p>
+   <h1>Module <code><span>Alerts.Top1</span></code></h1>
    <ul class="at-tags">
     <li class="deprecated"><span class="at-tag">deprecated</span> A</li>
-   </ul>
+   </ul><p>Top-comment.</p>
   </header><div class="odoc-content"></div>
  </body>
 </html>

test/generators/html/Alerts-Top2.html

@@ -57,20 +57,7 @@ <h1>Module <code><span>Alerts</span></code></h1>
        <span class="keyword">end</span>
       </span>
      </code>
-    </div><div class="spec-doc"><p>Top-comment.</p></div>
-   </div>
-   <div class="odoc-spec">
-    <div class="spec module anchored" id="module-Top2">
-     <a href="#module-Top2" class="anchor"></a>
-     <code>
-      <span><span class="keyword">module</span> 
-       <a href="Alerts-Top2.html">Top2</a>
-      </span>
-      <span> : <span class="keyword">sig</span> ... 
-       <span class="keyword">end</span>
-      </span>
-     </code>
-    </div><div class="spec-doc"><p>Top-comment.</p></div>
+    </div>
    </div>
    <div class="odoc-spec">
     <div class="spec value anchored" id="val-d">

test/generators/html/Alerts.html

@@ -1,3 +1,2 @@
 Alerts.html
 Alerts-Top1.html
-Alerts-Top2.html

test/generators/html/alerts.targets

@@ -15,11 +15,7 @@ \section{Module \ocamlinlinecode{Alerts}}\label{module-Alerts}%
 \end{ocamlindent}%
 \medbreak
 \label{module-Alerts-module-Top1}\ocamlcodefragment{\ocamltag{keyword}{module} \hyperref[module-Alerts-module-Top1]{\ocamlinlinecode{Top1}}}\ocamlcodefragment{ : \ocamltag{keyword}{sig}}\begin{ocamlindent}\end{ocamlindent}%
-\ocamlcodefragment{\ocamltag{keyword}{end}}\begin{ocamlindent}Top-comment.\end{ocamlindent}%
-\medbreak
-\label{module-Alerts-module-Top2}\ocamlcodefragment{\ocamltag{keyword}{module} \hyperref[module-Alerts-module-Top2]{\ocamlinlinecode{Top2}}}\ocamlcodefragment{ : \ocamltag{keyword}{sig}}\begin{ocamlindent}\end{ocamlindent}%
-\ocamlcodefragment{\ocamltag{keyword}{end}}\begin{ocamlindent}Top-comment.\end{ocamlindent}%
-\medbreak
+\ocamlcodefragment{\ocamltag{keyword}{end}}\\
 \label{module-Alerts-val-d}\ocamlcodefragment{\ocamltag{keyword}{val} d : int}\begin{ocamlindent}\begin{description}\kern-\topsep
 \makeatletter\advance\@topsepadd-\topsep\makeatother% topsep is hardcoded
 \item[{deprecated}]{A deprecated alert d}\end{description}%

test/generators/latex/Alerts.tex

@@ -687,7 +687,7 @@
 (subdir
  html
  (rule
-  (targets Alerts.html.gen Alerts-Top1.html.gen Alerts-Top2.html.gen)
+  (targets Alerts.html.gen Alerts-Top1.html.gen)
   (action
    (run
     odoc
@@ -711,12 +711,6 @@
   (alias runtest)
   (action
    (diff Alerts-Top1.html Alerts-Top1.html.gen))
-  (enabled_if
-   (>= %{ocaml_version} 4.04)))
- (rule
-  (alias runtest)
-  (action
-   (diff Alerts-Top2.html Alerts-Top2.html.gen))
   (enabled_if
    (>= %{ocaml_version} 4.04))))
 
@@ -770,7 +764,7 @@
 (subdir
  man
  (rule
-  (targets Alerts.3o.gen Alerts.Top1.3o.gen Alerts.Top2.3o.gen)
+  (targets Alerts.3o.gen Alerts.Top1.3o.gen)
   (action
    (run odoc man-generate -o . --extra-suffix gen %{dep:../alerts.odocl}))
   (enabled_if
@@ -785,12 +779,6 @@
   (alias runtest)
   (action
    (diff Alerts.Top1.3o Alerts.Top1.3o.gen))
-  (enabled_if
-   (>= %{ocaml_version} 4.04)))
- (rule
-  (alias runtest)
-  (action
-   (diff Alerts.Top2.3o Alerts.Top2.3o.gen))
   (enabled_if
    (>= %{ocaml_version} 4.04))))