Reduce concatenations of the empty record; unpoly non-recursive functions

2 files changed, 7 insertions, 0 deletions

diff --git a/lib/ur/string.ur b/lib/ur/string.ur
index 41ec666d..4025cf68 100644
--- a/lib/ur/string.ur
+++ b/lib/ur/string.ur
@@ -37,3 +37,8 @@ fun all f s =
     in
         al 0
     end
+
+fun newlines [ctx] [[Body] ~ ctx] s : xml ([Body] ++ ctx) [] [] =
+    case split s #"\n" of
+        None => cdata s
+      | Some (s1, s2) => <xml>{[s1]}<br/>{newlines s2}</xml>
diff --git a/lib/ur/string.urs b/lib/ur/string.urs
index fda30ad9..5590b50c 100644
--- a/lib/ur/string.urs
+++ b/lib/ur/string.urs
@@ -20,3 +20,5 @@ val split : t -> char -> option (string * string)
 val msplit : {Haystack : t, Needle : t} -> option (string * char * string)
 
 val all : (char -> bool) -> string -> bool
+
+val newlines : ctx ::: {Unit} -> [[Body] ~ ctx] => string -> xml ([Body] ++ ctx) [] []