diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-10-10 15:37:14 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-10-10 15:37:14 -0400 |
| commit | 3944b599134b89f12f24ae3f52d21f954463c765 (patch) | |
| tree | 59ec01525ded42885a850c9e83ba458c79843ce5 /lib | |
| parent | 948aa854af8ca5560a1eea5221c4a1f3a6901970 (diff) | |
Tweaking unification fix to apply to demo/more
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/ur/string.ur | 2 |
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> |