X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=stdlib%2Fprelude.gl;fp=stdlib%2Fprelude.gl;h=7dc3b7342238c6b0cfb1dde70ff594c285c7f3e6;hb=22e06eac0cf27c97056bb9e2f4fe7e45f7f1a474;hp=5d072eac93c67f8d4b672803407852b01a0e1f0a;hpb=915b9bff547705bf9df287ffb2a057eeaec4ca02;p=goals.git

diff --git a/stdlib/prelude.gl b/stdlib/prelude.gl
index 5d072ea..7dc3b73 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 '['