git.annexia.org
/
goals.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add README file for the project.
[goals.git]
/
stdlib
/
prelude.gl
diff --git
a/stdlib/prelude.gl
b/stdlib/prelude.gl
index
fdb23e9
..
f4ab20e
100644
(file)
--- a/
stdlib/prelude.gl
+++ b/
stdlib/prelude.gl
@@
-21,7
+21,7
@@
# tactics.
# The only tactic that ‘make’ has.
# 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
# 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.
# 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.
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.
#----------------------------------------------------------------------
# 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
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
}
}