X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=stdlib%2Fprelude.gl;h=d8e523ab539581ba52f89d13faa4c7dafe9dfac7;hb=6049de701cea350b3f474e4c1ff16836baa8e2fb;hp=de2a42282fe8016ed6a4afc9d97abc074bd3a8a8;hpb=b29931c35b032141aaa8de370d9adbfc10705bf2;p=goals.git

diff --git a/stdlib/prelude.gl b/stdlib/prelude.gl
index de2a422..d8e523a 100644
--- a/stdlib/prelude.gl
+++ b/stdlib/prelude.gl
@@ -40,6 +40,11 @@ tactic *exists (filename) = @{
 #----------------------------------------------------------------------
 # Basic functions.
 
+function error (msg) = @{
+    echo %msg >&2
+    exit 1
+}
+
 # Wrap list of strings in a call or tactic.
 pure function wrap (wrapper, xs) = @{
     echo '['
@@ -54,6 +59,24 @@ pure function wrap (wrapper, xs) = @{
 #----------------------------------------------------------------------
 # Text functions.
 
+# Filter a list by regexp.
+pure function filter (pat, xs) returning strings = @{
+    for f in %xs; do echo "$f"; done | grep -E -- %pat
+}
+
+# Filter out a list by regexp.
+pure function filter-out (pat, xs) returning strings = @{
+    for f in %xs; do echo "$f"; done | grep -v -E -- %pat
+}
+
+# Head of a list.
+pure function head (xs) returning string = @{
+    for f in %xs; do
+        echo "$f"
+        exit 0
+    done
+}
+
 # Join two lists.
 pure function join (xs, ys) returning strings = @{
     for f in %xs %ys; do echo "$f"; done
@@ -71,17 +94,26 @@ pure function subst (from, to, text) returning string = @{
     echo %text | sed -E s/%from/$to/g
 }
 
+# Tail of a list.
+pure function tail (xs) returning strings = @{
+    drop=1
+    for f in %xs; do
+        if [ -z "$drop" ]; then echo "$f"; fi
+        drop=
+    done
+}
+
 #----------------------------------------------------------------------
 # File functions.
 
 # Base name.
 pure function basename (name) returning string = @{
-    basename %name
+    basename -- %name
 }
 
 # Directory name.
 pure function dirname (name) returning string = @{
-    dirname %name
+    dirname -- %name
 }
 
 # File extension.
@@ -90,6 +122,21 @@ pure function extension (name) returning string = @{
     echo "${name##*.}"
 }
 
+# Read a file.
+function read (filename) returning string = @{
+    cat -- %filename
+}
+
+# Read a file as a list of lines.
+function readlines (filename) returning strings = @{
+    cat -- %filename
+}
+
+# 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