Mercurial > urweb

diff src/checknest.sml @ 1065:217eb87dde31

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.url and redirects
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Dec 2009 13:32:09 -0500
parents b2a175a0f2ef
children b2311dfb3158
line wrap: on
line diff
--- a/src/checknest.sml	Thu Dec 10 12:06:03 2009 -0500
+++ b/src/checknest.sml	Thu Dec 10 13:32:09 2009 -0500
@@ -57,6 +57,7 @@
 
               | EError (e, _) => eu e
               | EReturnBlob {blob, mimeType, ...} => IS.union (eu blob, eu mimeType)
+              | ERedirect (e, _) => eu e
 
               | EWrite e => eu e
               | ESeq (e1, e2) => IS.union (eu e1, eu e2)
@@ -117,6 +118,7 @@
 
               | EError (e, t) => (EError (ae e, t), loc)
               | EReturnBlob {blob, mimeType, t} => (EReturnBlob {blob = ae blob, mimeType = ae mimeType, t = t}, loc)
+              | ERedirect (e, t) => (ERedirect (ae e, t), loc)
 
               | EWrite e => (EWrite (ae e), loc)
               | ESeq (e1, e2) => (ESeq (ae e1, ae e2), loc)