From aa9432e24fc18005c6d093d23f89432b6822b4c0 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 24 Jun 2020 22:29:22 +0200 Subject: [PATCH] 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. --- src/lib/files.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.54.0