Mercurial > urweb

comparison src/urweb.grm @ 1189:b8cfb05c091d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More informative tag mismatch error message
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Mar 2010 16:17:02 -0400
parents ad9829c3c12c
children 61c3139eab12
comparison
equal deleted inserted replaced
1188:86653ff6a0cb 1189:b8cfb05c091d
1340 (EApp (#2 tag, xmlOpt), pos) 1340 (EApp (#2 tag, xmlOpt), pos)
1341 else 1341 else
1342 (if ErrorMsg.anyErrors () then 1342 (if ErrorMsg.anyErrors () then
1343 () 1343 ()
1344 else 1344 else
1345 ErrorMsg.errorAt pos "Begin and end tags don't match."; 1345 ErrorMsg.errorAt pos ("Begin tag <"
1346 ^ #1 (#1 tag)
1347 ^ "> and end tag </"
1348 ^ et
1349 ^ "> don't match.");
1346 (EWild, pos)) 1350 (EWild, pos))
1347 end) 1351 end)
1348 | LBRACE eexp RBRACE (eexp) 1352 | LBRACE eexp RBRACE (eexp)
1349 | LBRACE LBRACK eexp RBRACK RBRACE (let 1353 | LBRACE LBRACK eexp RBRACK RBRACE (let
1350 val loc = s (LBRACEleft, RBRACEright) 1354 val loc = s (LBRACEleft, RBRACEright)