Mercurial > urweb

diff src/urweb.grm @ 1833:be0c4e2e488a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow any FFI module to declare new HTML tags
author Adam Chlipala <adam@chlipala.net>
date Wed, 28 Nov 2012 16:56:45 -0500
parents bb942416bf1c
children 146ec8e90063
line wrap: on
line diff
--- a/src/urweb.grm	Wed Nov 28 11:45:46 2012 -0500
+++ b/src/urweb.grm	Wed Nov 28 16:56:45 2012 -0500
@@ -1608,7 +1608,7 @@
                                              val pos = s (BEGIN_TAGleft, BEGIN_TAGright)
                                          in
                                              (bt,
-                                              (EVar (["Basis"], bt, Infer), pos))
+                                              (EVar ([], bt, Infer), pos))
                                          end)
        | tagHead LBRACE cexp RBRACE     (#1 tagHead, (ECApp (#2 tagHead, cexp), s (tagHeadleft, RBRACEright)))