diff options
author | 2014-11-24 20:47:38 -0500 | |
---|---|---|
committer | 2014-11-24 20:47:38 -0500 | |
commit | b59e6e96601c09bd97a4cce881c9b9f8bf8816a3 (patch) | |
tree | c2714306eb85c1e0d144089bbc3f6ed51e58cdda /src/urweb.grm | |
parent | a413fc1a42bf0fbee27c2f22cc8e9ca9b17b9edf (diff) | |
parent | f3e50f123c33c26038b601475eeaa619526ad7ab (diff) |
Merge.
Diffstat (limited to 'src/urweb.grm')
-rw-r--r-- | src/urweb.grm | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/urweb.grm b/src/urweb.grm index edac345f..995d1329 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -221,6 +221,9 @@ val inDml = ref false fun tagIn bt = case bt of "table" => "tabl" + | "url" => "url_" + | "datetime-local" => "datetime_local" + | "cdatetime-local" => "cdatetime_local" | _ => bt datatype prop_kind = Delete | Update @@ -1747,6 +1750,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)) |