diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-11-28 16:56:45 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-11-28 16:56:45 -0500 |
| commit | 9d38076e9a1dc49faec13596a2f707269c2a0ad7 (patch) | |
| tree | bd2859407b849d931b71002f26d94e4340f0d5f7 /src/urweb.grm | |
| parent | 550c44b258fcbb3248cda6c6401ae17f513d0ba5 (diff) | |
Allow any FFI module to declare new HTML tags
Diffstat (limited to 'src/urweb.grm')
| -rw-r--r-- | src/urweb.grm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/urweb.grm b/src/urweb.grm index 084cec1e..a45c7ffa 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -1608,7 +1608,7 @@ tagHead: BEGIN_TAG (let 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))) |