mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Fix errors in version_store documentation.

Browse Source 
library/version_store.m:
    As above.
This commit is contained in:
Julien Fischer
2026-02-16 14:06:32 +11:00
parent 8f61d08328
commit 66a346e41d
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
library/version_store.m
View File

@@ -58,13 +58,13 @@
:- pred copy_mutvar(mutvar(T, S)::in, mutvar(T, S)::out,
version_store(S)::in, version_store(S)::out) is det.
% lookup(VS, MutVar) = Element:
% lookup(VS, Mutvar) = Element:
% VS ^ elem(Mutvar) = Element:
%
% Return the Element referenced by Mutvar in the version store VS.
%
:- func lookup(version_store(S), mutvar(T, S)) = T.
% NOTE_TO_IMPLEMENTORS: XXX There should be pred version of lookup.
% NOTE_TO_IMPLEMENTORS: XXX There should be a pred version of lookup.
:- func elem(mutvar(T, S), version_store(S)) = T.
% get_mutvar(Mutvar, Element, VS, VS):
@@ -91,7 +91,7 @@
% unsafe_rewind(VS) produces a version of VS for which all accesses
% are O(1). Invoking this predicate renders undefined VS and all later
% versions undefined that were derived by performing individual updates.
% versions that were derived by performing individual updates.
% Only use this when you are absolutely certain there are no live
% references to VS or later versions of VS.
%