From: Markus Triska <triska@metalevel.at>
Date: Wed, 24 Jun 2020 20:29:22 +0000 (+0200)
Subject: comment on indexing, addressing a comment by @pmoura in #606
X-Git-Tag: v0.8.127~19^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=aa9432e24fc18005c6d093d23f89432b6822b4c0;p=scryer-prolog.git

comment on indexing, addressing a comment by @pmoura in #606

If indexing is needed for lists of characters, it should be added to
the engine.
---

diff --git a/src/lib/files.pl b/src/lib/files.pl
index 4667fadd..3d219173 100644
--- a/src/lib/files.pl
+++ b/src/lib/files.pl
@@ -15,7 +15,7 @@
    -) File names are mostly ephemeral, so it is good for efficiency
       that they can quickly allocated transiently on the heap, leaving the
       atom table mostly unaffected. Indexing is almost never needed
-      for file names.
+      for file names. If needed, it should be added to the engine.
    -) The previous point is also good for security, since the system
       leaves little trace of which files were even accessed.
    -) Scryer Prolog represents lists of characters extremely compactly.