Mercurial > urweb

comparison src/tag.sml @ 1370:44a12a321150

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
queryString and effectfulUrl
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 17:29:03 -0500
parents 503d4ec93494
children 3621f486ce72
comparison
equal deleted inserted replaced
1369:1a78ca089bd0 1370:44a12a321150
169 val (e, s) = tagIt (e, Link, "Url", s) 169 val (e, s) = tagIt (e, Link, "Url", s)
170 in 170 in
171 (EFfiApp ("Basis", "url", [e]), s) 171 (EFfiApp ("Basis", "url", [e]), s)
172 end 172 end
173 173
174 | EFfiApp ("Basis", "effectfulUrl", [(ERel 0, _)]) => (e, s)
175
176 | EFfiApp ("Basis", "effectfulUrl", [e]) =>
177 let
178 val (e, s) = tagIt (e, Extern ReadCookieWrite, "Url", s)
179 in
180 (EFfiApp ("Basis", "url", [e]), s)
181 end
182
174 | EApp ((ENamed n, _), e') => 183 | EApp ((ENamed n, _), e') =>
175 let 184 let
176 val (_, _, eo, _) = E.lookupENamed env n 185 val (_, _, eo, _) = E.lookupENamed env n
177 in 186 in
178 case eo of 187 case eo of