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 (