summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-10-10 15:37:14 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-10-10 15:37:14 -0400
commit3944b599134b89f12f24ae3f52d21f954463c765 (patch)
tree59ec01525ded42885a850c9e83ba458c79843ce5 /lib
parent948aa854af8ca5560a1eea5221c4a1f3a6901970 (diff)
Tweaking unification fix to apply to demo/more
Diffstat (limited to 'lib')
-rw-r--r--lib/ur/string.ur2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/ur/string.ur b/lib/ur/string.ur
index f7781e01..6a269373 100644
--- a/lib/ur/string.ur
+++ b/lib/ur/string.ur
@@ -57,7 +57,7 @@ fun mp f s =
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>