[m-rev.] for review: delete I/O globals from transition guide
Julien Fischer
jfischer at opturion.com
Thu Jan 4 13:47:53 AEDT 2024
For review by anyone.
The diff is trivial; the request for review is for the idea of removing
these lines.
--------------------
Delete I/O globals from transition guide.
docs/transition_guide.texi:
As above.
Julien.
diff --git a/doc/transition_guide.texi b/doc/transition_guide.texi
index 642772a..a5ff6a4 100644
--- a/doc/transition_guide.texi
+++ b/doc/transition_guide.texi
@@ -427,12 +427,6 @@ destroying the current state of the world
and returning a new state of the world.
This effectively considers the mutable to be part of the state of the world
@emph{outside} the Mercury program.
-The @code{io} module also provides another way to do this,
-by allowing the storage of information in the @code{io.state}
-using the predicates @code{io.get_globals} and @code{io.set_globals}.
-These predicates take an argument of type @code{univ}, the universal type,
-so that by using @code{type_to_univ} and @code{univ_to_type}
-it is possible to store data of any type in the @code{io.state}.
Alternatively, you can set things up so that
the getter and setter predicates of a mutable are @emph{not} I/O operations,
More information about the reviews
mailing list