You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
in FileSystem there is a function like regfilesin that by contract scans all regular files in a directory tree and returns those whose pathname matches a given regexp. Whilst files not marked regular are correctly ignored symlinks to directories are processed. This can lead to an infinite loop. Symlinks to directories must be ignored too. This ensures termination provided hardlinks don't contain cycles. On some OS (MacOS and Linux I think) you cannot create a hard link to a directory, which ensures the graph is acyclic.
The text was updated successfully, but these errors were encountered:
in FileSystem there is a function like
regfilesin
that by contract scans all regular files in a directory tree and returns those whose pathname matches a given regexp. Whilst files not marked regular are correctly ignored symlinks to directories are processed. This can lead to an infinite loop. Symlinks to directories must be ignored too. This ensures termination provided hardlinks don't contain cycles. On some OS (MacOS and Linux I think) you cannot create a hard link to a directory, which ensures the graph is acyclic.The text was updated successfully, but these errors were encountered: