From a9156f0bc62f790926a2f5b13b4153e5fc2764ce Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 3 Dec 2021 17:50:24 +0100
Subject: [PATCH] [devman] fixes index entries for State_selection
`State_selection` has its signature embedded into signature `S`, shared
with submodule `Static`, marked as deprecated since 2012. If #1103 is
fixed, we can revert this commit.
---
doc/developer/advance.tex | 4 ++--
doc/developer/tutorial.tex | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index 7d42441dc8c..278621f3d06 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -2806,7 +2806,7 @@ a new one is loaded\index{Loading} from disk).
\scodeidxdef{File}{init\_project\_from\_visitor};
or write the following line of code (see Section~\ref{proj:selection}):
\scodeidx{Project}{clear}
- \scodeidx{State\_selection}{only\_dependencies}
+ \sscodeidx{State\_selection}{S}{only\_dependencies}
\scodeidx{Ast}{self}
\begin{alltt}
let selection = State_selection.only_dependencies Ast.self in
@@ -2915,7 +2915,7 @@ consistently handle state dependencies\index{State!Dependency}.
The following statement clears all the results of the value analysis and all
its dependencies in the current project.\index{State!Cleaning}
\scodeidx{Project}{clear}
- \scodeidx{State\_selection}{with\_dependencies}
+ \sscodeidx{State\_selection}{S}{with\_dependencies}
\sscodeidx{Db}{Value}{self}
\begin{ocamlcode}
let selection = State_selection.with_dependencies Db.Value.self in
diff --git a/doc/developer/tutorial.tex b/doc/developer/tutorial.tex
index 865695b9b8d..4d1f208a3d1 100644
--- a/doc/developer/tutorial.tex
+++ b/doc/developer/tutorial.tex
@@ -1256,7 +1256,7 @@ following.
\ocamlinput{./tutorial/viewcfg/src/dump_function_memo_clear_cache.ml}
\sscodeidx{Db}{Value}{is\_computed}
-\scodeidx{State\_selection}{with\_dependencies}
+\sscodeidx{State\_selection}{S}{with\_dependencies}
\scodeidx{Project}{clear}
The only part that need to be explained is the notion of
@@ -1310,7 +1310,7 @@ To summarize:
when the former is modified in an incompatible way. For instance, it would
have been incorrect to not call
\texttt{State\_selection.with\_dependencies}
- \scodeidx{State\_selection}{with\_dependencies} in the last code snippet of
+ \sscodeidx{State\_selection}{S}{with\_dependencies} in the last code snippet of
this tutorial.
\end{itemize}
--
GitLab