Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/urweb.grm	Thu Dec 29 16:08:34 2011 -0500
+++ b/src/urweb.grm	Sat Dec 31 13:31:00 2011 -0500
@@ -1462,6 +1462,9 @@
                                                                                NONE => (EVar (["Basis"], "None", Infer), pos)
                                                                              | SOME c => (EApp ((EVar (["Basis"], "Some", Infer), pos), c), pos)), pos)
                                                      in
+                                                         case #3 tag of
+                                                             NONE => ()
+                                                           | SOME _ => ErrorMsg.errorAt pos "<form> does not support 'dynClass' attribute";
                                                          (EApp (e, xmlOpt), pos)
                                                      end
                                                  else if et = "subform" orelse et = "subforms" then