# HG changeset patch # User Adam Chlipala # Date 1418906917 18000 # Node ID 9a15475967129c4ad298f9eee0968d692bbc594e # Parent 5f15f4ce8f3b0629b55c97b7553dc7716cab9503 Fix XML syntax for closing tags diff -r 5f15f4ce8f3b -r 9a1547596712 src/monoize.sml --- a/src/monoize.sml Sat Dec 06 15:45:41 2014 -0500 +++ b/src/monoize.sml Thu Dec 18 07:48:37 2014 -0500 @@ -3447,6 +3447,8 @@ NONE => tagStart | SOME extra => (L'.EStrcat (tagStart, extra), loc) + val firstWord = Substring.string o #1 o Substring.splitl (fn ch => not (Char.isSpace ch)) o Substring.full + fun normal () = let val (xml, fm) = monoExp (env, st, fm) xml @@ -3457,7 +3459,7 @@ in ((L'.EStrcat ((L'.EStrcat (tagStart, strH ">"), loc), (L'.EStrcat (xml, - strH (String.concat [""])), loc)), + strH (String.concat [""])), loc)), loc), fm) end diff -r 5f15f4ce8f3b -r 9a1547596712 tests/nestedInput.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/nestedInput.ur Thu Dec 18 07:48:37 2014 -0500 @@ -0,0 +1,10 @@ +fun main () : transaction page = + let + fun handler _ = return + in + return + + + end