Merge pull request #268520 from tweag/fileset-minor-changes

`lib.fileset`: Minor changes
This commit is contained in:
Silvan Mosberger
2023-11-19 19:12:29 +01:00
committed by GitHub
3 changed files with 11 additions and 6 deletions

View File

@@ -312,7 +312,7 @@ in {
lib.fileset.fromSource: The source origin of the argument is of type ${typeOf path}, but it should be a path instead.''
else if ! pathExists path then
throw ''
lib.fileset.fromSource: The source origin (${toString path}) of the argument does not exist.''
lib.fileset.fromSource: The source origin (${toString path}) of the argument is a path that does not exist.''
else if isFiltered then
_fromSourceFilter path source.filter
else