# HG changeset patch # User Adam Chlipala # Date 1316699466 14400 # Node ID a0caa991cdad7789336cf3b31c50e474ba8416db # Parent 7ad5227a3ed90ec2231a0e074203f277b32c9821 Resugar tag names before printing parse errors diff -r 7ad5227a3ed9 -r a0caa991cdad src/urweb.grm --- a/src/urweb.grm Sat Sep 17 13:10:20 2011 -0400 +++ b/src/urweb.grm Thu Sep 22 09:51:06 2011 -0400 @@ -1397,6 +1397,11 @@ end) | tag GT xmlOpt END_TAG (let + fun tagOut s = + case s of + "tabl" => "table" + | _ => s + val pos = s (tagleft, GTright) val et = tagIn END_TAG in @@ -1423,9 +1428,9 @@ () else ErrorMsg.errorAt pos ("Begin tag <" - ^ #1 (#1 tag) + ^ tagOut (#1 (#1 tag)) ^ "> and end tag don't match."); (EWild, pos)) end) diff -r 7ad5227a3ed9 -r a0caa991cdad tests/badTags.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/badTags.ur Thu Sep 22 09:51:06 2011 -0400 @@ -0,0 +1,1 @@ +fun main () : transaction page =