steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

sodium: fix help-lint warnings.

master
John Benediktsson 2020-04-13 11:16:18 -07:00
parent 799912b953
commit 61ae19d7e4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
extra/sodium/secure-memory/secure-memory-docs.factor
View File

@ -53,14 +53,14 @@ HELP: allow-write-access
HELP: with-read-access
{ $values
{ "secure-memory" secure-memory }
{ "quot: ( secure-memory -- )" quotation }
{ "quot" { $quotation ( ..a secure-memory -- ..b ) } }
}
{ $description "Temporarily allow read-only access to the " { $snippet "secure-memory" } " for the duration of the " { $snippet "quot" } " call. When the quotation terminates, disable the access using " { $link allow-no-access } "." } ;
HELP: with-write-access
{ $values
{ "secure-memory" secure-memory }
{ "quot: ( secure-memory -- )" quotation }
{ "quot" { $quotation ( ..a secure-memory -- ..b ) } }
}
{ $description "Temporarily allow read and write access to the " { $snippet "secure-memory" } " for the duration of the " { $snippet "quot" } " call. When the quotation terminates, disable the access using " { $link allow-no-access } "." } ;