diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-11-16 14:02:17 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-11-16 14:02:17 -0500 |
| commit | 53c8e3791551e84d7c2100df885740be5a4871df (patch) | |
| tree | ad2ce8905273af5770bd7217b18c7bb50be994e7 /src | |
| parent | 19b8f524ebd699a5110d6691f269405ef2182749 (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.grm | 6 |
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)) |