summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
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))