Mercurial > urweb

comparison src/tag.sml @ 1067:50dd937c4cb9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Bug fixes in redirect-related stuff
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Dec 2009 15:46:07 -0500
parents 217eb87dde31
children 72670131dace
comparison
equal deleted inserted replaced
1066:740b85ef4352 1067:50dd937c4cb9
167 167
168 | EFfiApp ("Basis", "url", [e]) => 168 | EFfiApp ("Basis", "url", [e]) =>
169 let 169 let
170 val (e, s) = tagIt (e, Link, "Url", s) 170 val (e, s) = tagIt (e, Link, "Url", s)
171 in 171 in
172 (#1 e, s) 172 (EFfiApp ("Basis", "url", [e]), s)
173 end 173 end
174 174
175 | EApp ((ENamed n, _), e') => 175 | EApp ((ENamed n, _), e') =>
176 let 176 let
177 val (_, _, eo, _) = E.lookupENamed env n 177 val (_, _, eo, _) = E.lookupENamed env n
179 case eo of 179 case eo of
180 SOME (EAbs (_, _, _, (EFfiApp ("Basis", "url", [(ERel 0, _)]), _)), _) => 180 SOME (EAbs (_, _, _, (EFfiApp ("Basis", "url", [(ERel 0, _)]), _)), _) =>
181 let 181 let
182 val (e, s) = tagIt (e', Link, "Url", s) 182 val (e, s) = tagIt (e', Link, "Url", s)
183 in 183 in
184 (#1 e, s) 184 (EFfiApp ("Basis", "url", [e]), s)
185 end 185 end
186 | _ => (e, s) 186 | _ => (e, s)
187 end 187 end
188 188
189 | _ => (e, s) 189 | _ => (e, s)