Mercurial > urweb

diff lib/ur/string.ur @ 1304:f0afe61a6f8b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tweaking unification fix to apply to demo/more
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 15:37:14 -0400
parents 56bd4a4f6e66
children 3913cbfd72e9
line wrap: on
line diff
--- a/lib/ur/string.ur	Sun Oct 10 14:41:03 2010 -0400
+++ b/lib/ur/string.ur	Sun Oct 10 15:37:14 2010 -0400
@@ -57,7 +57,7 @@
         mp' (length s - 1) ""
     end
 
-fun newlines [ctx] [[Body] ~ ctx] s : xml ([Body] ++ ctx) [] [] =
+fun newlines [ctx] [[Body] ~ ctx] (s : string) : xml ([Body] ++ ctx) [] [] =
     case split s #"\n" of
         None => cdata s
       | Some (s1, s2) => <xml>{[s1]}<br/>{newlines s2}</xml>