git.annexia.org
/
goals.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
stdlib: Implement realpath() function.
[goals.git]
/
stdlib
/
prelude.gl
diff --git
a/stdlib/prelude.gl
b/stdlib/prelude.gl
index
f4ab20e
..
183338d
100644
(file)
--- a/
stdlib/prelude.gl
+++ b/
stdlib/prelude.gl
@@
-38,16
+38,63
@@
tactic *exists (filename) = @{
}
#----------------------------------------------------------------------
}
#----------------------------------------------------------------------
+# Basic functions.
+
+# Wrap list of strings in a call or tactic.
+pure function wrap (wrapper, xs) = @{
+ echo '['
+ for x in %xs; do
+ echo %wrapper "( "
+ quoted_string "$x"
+ echo " ),"
+ done
+ echo ']'
+}
+
+#----------------------------------------------------------------------
# Text functions.
# Text functions.
+# Join two lists.
+pure function join (xs, ys) returning strings = @{
+ for f in %xs %ys; do echo "$f"; done
+}
+
# Sort + uniq a list.
pure function sort (xs) returning strings = @{
for f in %xs; do echo "$f"; done | sort -u
}
# Sort + uniq a list.
pure function sort (xs) returning strings = @{
for f in %xs; do echo "$f"; done | sort -u
}
+# Substitute.
+pure function subst (from, to, text) returning string = @{
+ # We need to replace any / characters in ‘to’ with escaped ones.
+ to="$( echo -n %to | sed 's,/,\\/,g' )"
+ echo %text | sed -E s/%from/$to/g
+}
+
#----------------------------------------------------------------------
# File functions.
#----------------------------------------------------------------------
# File functions.
+# Base name.
+pure function basename (name) returning string = @{
+ basename %name
+}
+
+# Directory name.
+pure function dirname (name) returning string = @{
+ dirname %name
+}
+
+# File extension.
+pure function extension (name) returning string = @{
+ name=%name
+ echo "${name##*.}"
+}
+
+# Real path.
+function realpath (filename) returning string = @{
+ realpath -- %filename
+}
+
# Expand a wildcard into a list of filenames.
#
# This function is probably not "pure" since it depends on the
# Expand a wildcard into a list of filenames.
#
# This function is probably not "pure" since it depends on the