X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=stdlib%2Fprelude.gl;h=04dde9323231c4d5ca4f1782ce881e3ff0fe4192;hb=3258e6938ac266998ced1394792e1a3a44779526;hp=13ac3117ca74955f267393da0e496cf26c9bbd75;hpb=692f7e7a70572c5f4f7242ce721a674a75b34e06;p=goals.git

diff --git a/stdlib/prelude.gl b/stdlib/prelude.gl
index 13ac311..04dde93 100644
--- a/stdlib/prelude.gl
+++ b/stdlib/prelude.gl
@@ -106,6 +106,13 @@ pure function sort (xs) returning strings = @{
     for f in %xs; do echo "$f"; done | sort -u
 }
 
+# Split a string into a list.
+# https://superuser.com/a/1066541
+pure function split (s) returning strings = {
+    s=%s
+    eval 'for f in '$s'; do echo "$f"; done'
+}
+
 # Substitute.
 pure function subst (from, to, text) returning string = @{
     # We need to replace any / characters in ‘to’ with escaped ones.