Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
730:1b1047992ecf | 731:e0dd85ea58e1 |
---|---|
116 (count, tags, byTag, newTags)) | 116 (count, tags, byTag, newTags)) |
117 end | 117 end |
118 in | 118 in |
119 case x of | 119 case x of |
120 (CName "Link", _) => tagIt (Link, "Href") | 120 (CName "Link", _) => tagIt (Link, "Href") |
121 | (CName "Action", _) => tagIt (Action, "Action") | 121 | (CName "Action", _) => tagIt (Action ReadWrite, "Action") |
122 | _ => ((x, e, t), (count, tags, byTag, newTags)) | 122 | _ => ((x, e, t), (count, tags, byTag, newTags)) |
123 end) | 123 end) |
124 s xets | 124 s xets |
125 in | 125 in |
126 (EApp ( | 126 (EApp ( |