diff src/tag.sml @ 731:e0dd85ea58e1

Label exported symbols by effect-ness; factor out some common datatypes
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 14:49:25 -0400
parents 9864b64b1700
children 5fe49effbc83
line wrap: on
line diff
--- a/src/tag.sml	Thu Apr 16 14:35:01 2009 -0400
+++ b/src/tag.sml	Thu Apr 16 14:49:25 2009 -0400
@@ -118,7 +118,7 @@
                                            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