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 4667fadd68aaea7e703e2e8a0fdb1adaaa656d03..3d219173ff7bee32c6222d94fd717ed8de9d1c33 100644 (file)
--- 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.