# HG changeset patch # User Adam Chlipala # Date 1268770622 14400 # Node ID b8cfb05c091d810693fcd59fb4a1a926ceed3ab4 # Parent 86653ff6a0cb0507826e8a6fd71fbde9bea925e2 More informative tag mismatch error message diff -r 86653ff6a0cb -r b8cfb05c091d src/urweb.grm --- a/src/urweb.grm Tue Mar 16 16:02:54 2010 -0400 +++ b/src/urweb.grm Tue Mar 16 16:17:02 2010 -0400 @@ -1342,7 +1342,11 @@ (if ErrorMsg.anyErrors () then () else - ErrorMsg.errorAt pos "Begin and end tags don't match."; + ErrorMsg.errorAt pos ("Begin tag <" + ^ #1 (#1 tag) + ^ "> and end tag don't match."); (EWild, pos)) end) | LBRACE eexp RBRACE (eexp) diff -r 86653ff6a0cb -r b8cfb05c091d tests/mismatch.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/mismatch.ur Tue Mar 16 16:17:02 2010 -0400 @@ -0,0 +1,3 @@ +fun main () = return + Wowza! + diff -r 86653ff6a0cb -r b8cfb05c091d tests/mismatch.urp --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/mismatch.urp Tue Mar 16 16:17:02 2010 -0400 @@ -0,0 +1,1 @@ +mismatch diff -r 86653ff6a0cb -r b8cfb05c091d tests/mismatch.urs --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/mismatch.urs Tue Mar 16 16:17:02 2010 -0400 @@ -0,0 +1,1 @@ +val main : unit -> transaction page