Mercurial > urweb

comparison src/urweb.grm @ 1651:dfc854e478bb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Error messages about applying 'dynClass' to tags that don't like it
author Adam Chlipala <adam@chlipala.net>
date Sat, 31 Dec 2011 13:31:00 -0500
parents ca3b73a7b4d0
children 570636457047
comparison
equal deleted inserted replaced
1650:1bfd793e7eb8 1651:dfc854e478bb
1460 val e = (EVar (["Basis"], "form", Infer), pos) 1460 val e = (EVar (["Basis"], "form", Infer), pos)
1461 val e = (EApp (e, case #2 tag of 1461 val e = (EApp (e, case #2 tag of
1462 NONE => (EVar (["Basis"], "None", Infer), pos) 1462 NONE => (EVar (["Basis"], "None", Infer), pos)
1463 | SOME c => (EApp ((EVar (["Basis"], "Some", Infer), pos), c), pos)), pos) 1463 | SOME c => (EApp ((EVar (["Basis"], "Some", Infer), pos), c), pos)), pos)
1464 in 1464 in
1465 case #3 tag of
1466 NONE => ()
1467 | SOME _ => ErrorMsg.errorAt pos "<form> does not support 'dynClass' attribute";
1465 (EApp (e, xmlOpt), pos) 1468 (EApp (e, xmlOpt), pos)
1466 end 1469 end
1467 else if et = "subform" orelse et = "subforms" then 1470 else if et = "subform" orelse et = "subforms" then
1468 (EApp (#2 (#1 tag), 1471 (EApp (#2 (#1 tag),
1469 xmlOpt), pos) 1472 xmlOpt), pos)