X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=stdlib%2Fprelude.gl;h=f4ab20ee08f2615f78cf7c392727179bc99f448b;hb=d513d8b6aa8c70191deb3e1a8392819c9181a8f9;hp=240d40d503b3b60e92bfbcc792e30f730c5f3832;hpb=deb7edaccefe379139818e8b241844b9a0571651;p=goals.git diff --git a/stdlib/prelude.gl b/stdlib/prelude.gl index 240d40d..f4ab20e 100644 --- a/stdlib/prelude.gl +++ b/stdlib/prelude.gl @@ -41,7 +41,7 @@ tactic *exists (filename) = @{ # Text functions. # Sort + uniq a list. -function sort (xs) returning strings = @{ +pure function sort (xs) returning strings = @{ for f in %xs; do echo "$f"; done | sort -u } @@ -49,6 +49,11 @@ function sort (xs) returning strings = @{ # File functions. # Expand a wildcard into a list of filenames. +# +# This function is probably not "pure" since it depends on the +# current working directory and also files may be created in +# the directory while goals is running which would affect the +# result. function wildcard (wc) returning strings = @{ shopt -s nullglob # Note that the substitution is quoted by goals, so to expand