From b04e123d0e1159d431aae00c3e8f1cc4a1b95684 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 10 Dec 2009 13:32:09 -0500
Subject: Basis.url and redirects

---
 src/checknest.sml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/checknest.sml')

diff --git a/src/checknest.sml b/src/checknest.sml
index 27a1796c..49519705 100644
--- a/src/checknest.sml
+++ b/src/checknest.sml
@@ -57,6 +57,7 @@ fun expUses globals =
 
               | 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 @@ fun annotateExp globals =
 
               | 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)
-- 
cgit v1.2.3