Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1832:373e2c3f03b2 1833:be0c4e2e488a
1606 tagHead: BEGIN_TAG (let 1606 tagHead: BEGIN_TAG (let
1607 val bt = tagIn BEGIN_TAG 1607 val bt = tagIn BEGIN_TAG
1608 val pos = s (BEGIN_TAGleft, BEGIN_TAGright) 1608 val pos = s (BEGIN_TAGleft, BEGIN_TAGright)
1609 in 1609 in
1610 (bt, 1610 (bt,
1611 (EVar (["Basis"], bt, Infer), pos)) 1611 (EVar ([], bt, Infer), pos))
1612 end) 1612 end)
1613 | tagHead LBRACE cexp RBRACE (#1 tagHead, (ECApp (#2 tagHead, cexp), s (tagHeadleft, RBRACEright))) 1613 | tagHead LBRACE cexp RBRACE (#1 tagHead, (ECApp (#2 tagHead, cexp), s (tagHeadleft, RBRACEright)))
1614 1614
1615 attrs : (NONE, NONE, NONE, NONE, []) 1615 attrs : (NONE, NONE, NONE, NONE, [])
1616 | attr attrs (let 1616 | attr attrs (let