From 9d38076e9a1dc49faec13596a2f707269c2a0ad7 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 28 Nov 2012 16:56:45 -0500 Subject: Allow any FFI module to declare new HTML tags --- src/urweb.grm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/urweb.grm') 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))) -- cgit v1.2.3