X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=stdlib%2Fprelude.gl;h=8315b6fa5c84336a47c1a898c988638dda659f0c;hb=7c0f0662d00ba21743fdb2bc538e89065c0765ad;hp=f4ab20ee08f2615f78cf7c392727179bc99f448b;hpb=a27fa75b6854fa3f75e34817cb0bf63646d644e4;p=goals.git

diff --git a/stdlib/prelude.gl b/stdlib/prelude.gl
index f4ab20e..8315b6f 100644
--- a/stdlib/prelude.gl
+++ b/stdlib/prelude.gl
@@ -38,6 +38,20 @@ 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.
 
 # Sort + uniq a list.
@@ -45,6 +59,13 @@ 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.