summaryrefslogtreecommitdiff
path: root/src/tag.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 14:49:25 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 14:49:25 -0400
commit6d021ead0f73c5a28080b50a1bd08b1ab72590c9 (patch)
tree1560f6013ce6de0388180550168c20e9756eaa2c /src/tag.sml
parent6d06bc0105d704373295c749aa65cc92488ac56c (diff)
Label exported symbols by effect-ness; factor out some common datatypes
Diffstat (limited to 'src/tag.sml')
-rw-r--r--src/tag.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tag.sml b/src/tag.sml
index 7a8fe128..78a4609b 100644
--- a/src/tag.sml
+++ b/src/tag.sml
@@ -118,7 +118,7 @@ fun exp env (e, s) =
in
case x of
(CName "Link", _) => tagIt (Link, "Href")
- | (CName "Action", _) => tagIt (Action, "Action")
+ | (CName "Action", _) => tagIt (Action ReadWrite, "Action")
| _ => ((x, e, t), (count, tags, byTag, newTags))
end)
s xets