X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=stdlib%2Fprelude.gl;h=f4ab20ee08f2615f78cf7c392727179bc99f448b;hb=e0b6797d5021afa6346acb9108dcb537cbd4d758;hp=fdb23e9ecd2f6e7b43820c34621bec4b24c0d914;hpb=a48b05d35f0646322e8178ff10f8ed7af3e739aa;p=goals.git

diff --git a/stdlib/prelude.gl b/stdlib/prelude.gl
index fdb23e9..f4ab20e 100644
--- a/stdlib/prelude.gl
+++ b/stdlib/prelude.gl
@@ -21,7 +21,7 @@
 # tactics.
 
 # The only tactic that ‘make’ has.
-tactic *file (filename) = {
+tactic *file (filename) = @{
     # Rebuild if the target file doesn't exist at all.
     test -f %filename || exit 99
 
@@ -33,28 +33,31 @@ tactic *file (filename) = {
 
 # This is a simpler tactic than the above since it will
 # rebuild if the file is missing, but not if it is older.
-tactic *exists (filename) = {
+tactic *exists (filename) = @{
     test -f %filename || exit 99
 }
 
 #----------------------------------------------------------------------
 # Text functions.
 
-
+# Sort + uniq a list.
+pure function sort (xs) returning strings = @{
+    for f in %xs; do echo "$f"; done | sort -u
+}
 
 #----------------------------------------------------------------------
 # File functions.
 
 # Expand a wildcard into a list of filenames.
-function wildcard (wc) = {
+#
+# 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
     # it we must assign it to a variable and then use it unquoted.
     wc=%wc
-    echo '['
-    for f in $wc; do
-        quoted_string "$f"
-        echo ','
-    done
-    echo ']'
+    for f in $wc; do echo "$f"; done
 }