]> gitweb.factorcode.org Git - factor.git/commitdiff
gdbm: finish rename.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 25 Dec 2021 22:35:41 +0000 (14:35 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 25 Dec 2021 22:35:41 +0000 (14:35 -0800)
extra/gdbm/gdbm-docs.factor

index 15e3c0b6d43e38b08ecafbcd4fe94bbe98ca449a..55726c72422867ef371be503fa83f472a4c37faa 100644 (file)
@@ -39,7 +39,7 @@ HELP: gdbm-error-message
 { $values { "error" gdbm-error } { "msg" string } }
 { $description "Returns error message in human readable format." } ;
 
-HELP: file-exists?
+HELP: gdbm-exists?
 { $values { "key" object } { "?" boolean } }
 { $description "Searches for a particular key without retreiving it." } ;
 
@@ -133,7 +133,7 @@ $nl
 "All interaction with gdbm database should be realized using special combinator which automates all work for database initialisation and cleanup. All initialisation options are passed to combinator with a database configuration object."
 { $subsections gdbm <gdbm> with-gdbm }
 "For actual record manipulation the following words are used:"
-{ $subsections insert file-exists? fetch delete }
+{ $subsections insert gdbm-exists? fetch delete }
 
 { $heading "Sequential access" }
 "It is possible to iterate through all records in the database with"