Mercurial > urweb

diff src/urweb.grm @ 2075:fde864eacd47

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make 'required' and 'autofocus' attributes Boolean; add a syntax extension for parsing their usual HTML syntax
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 14:02:17 -0500
parents 4d64af730e35
children 3cd2bd4b1de0
line wrap: on
line diff
--- a/src/urweb.grm	Sun Oct 12 10:03:36 2014 +0000
+++ b/src/urweb.grm	Sun Nov 16 14:02:17 2014 -0500
@@ -1747,6 +1747,12 @@
                                                              else
                                                                  attrv)
                                                  end)
+       | SYMBOL                         (let
+                                             val loc = s (SYMBOLleft, SYMBOLright)
+                                         in
+                                             Normal ((CName (makeAttr SYMBOL), loc),
+                                                     (EVar (["Basis"], "True", Infer), loc))
+                                         end)
                 
 attrv  : INT                            (EPrim (Prim.Int INT), s (INTleft, INTright))
        | FLOAT                          (EPrim (Prim.Float FLOAT), s (FLOATleft, FLOATright))