summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 14:02:17 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 14:02:17 -0500
commitcd1df17a1dac04f2a353fbc49284b775e78817a5 (patch)
treead2ce8905273af5770bd7217b18c7bb50be994e7 /src
parentff35b4cbd8c62fed584b48f660e4274c6e357893 (diff)
Make 'required' and 'autofocus' attributes Boolean; add a syntax extension for parsing their usual HTML syntax
Diffstat (limited to 'src')
-rw-r--r--src/urweb.grm6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/urweb.grm b/src/urweb.grm
index edac345f..240f64cb 100644
--- a/src/urweb.grm
+++ b/src/urweb.grm
@@ -1747,6 +1747,12 @@ attr : SYMBOL EQ attrv (case SYMBOL of
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))