Mercurial > urweb
comparison src/checknest.sml @ 1065:217eb87dde31
Basis.url and redirects
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Dec 2009 13:32:09 -0500 |
parents | b2a175a0f2ef |
children | b2311dfb3158 |
comparison
equal
deleted
inserted
replaced
1064:b89e3d8731ed | 1065:217eb87dde31 |
---|---|
55 | 55 |
56 | ECase (e, pes, _) => foldl (fn ((_, e), s) => IS.union (eu e, s)) (eu e) pes | 56 | ECase (e, pes, _) => foldl (fn ((_, e), s) => IS.union (eu e, s)) (eu e) pes |
57 | 57 |
58 | EError (e, _) => eu e | 58 | EError (e, _) => eu e |
59 | EReturnBlob {blob, mimeType, ...} => IS.union (eu blob, eu mimeType) | 59 | EReturnBlob {blob, mimeType, ...} => IS.union (eu blob, eu mimeType) |
60 | ERedirect (e, _) => eu e | |
60 | 61 |
61 | EWrite e => eu e | 62 | EWrite e => eu e |
62 | ESeq (e1, e2) => IS.union (eu e1, eu e2) | 63 | ESeq (e1, e2) => IS.union (eu e1, eu e2) |
63 | ELet (_, _, e1, e2) => IS.union (eu e1, eu e2) | 64 | ELet (_, _, e1, e2) => IS.union (eu e1, eu e2) |
64 | 65 |
115 | 116 |
116 | ECase (e, pes, ts) => (ECase (ae e, map (fn (p, e) => (p, ae e)) pes, ts), loc) | 117 | ECase (e, pes, ts) => (ECase (ae e, map (fn (p, e) => (p, ae e)) pes, ts), loc) |
117 | 118 |
118 | EError (e, t) => (EError (ae e, t), loc) | 119 | EError (e, t) => (EError (ae e, t), loc) |
119 | EReturnBlob {blob, mimeType, t} => (EReturnBlob {blob = ae blob, mimeType = ae mimeType, t = t}, loc) | 120 | EReturnBlob {blob, mimeType, t} => (EReturnBlob {blob = ae blob, mimeType = ae mimeType, t = t}, loc) |
121 | ERedirect (e, t) => (ERedirect (ae e, t), loc) | |
120 | 122 |
121 | EWrite e => (EWrite (ae e), loc) | 123 | EWrite e => (EWrite (ae e), loc) |
122 | ESeq (e1, e2) => (ESeq (ae e1, ae e2), loc) | 124 | ESeq (e1, e2) => (ESeq (ae e1, ae e2), loc) |
123 | ELet (x, t, e1, e2) => (ELet (x, t, ae e1, ae e2), loc) | 125 | ELet (x, t, e1, e2) => (ELet (x, t, ae e1, ae e2), loc) |
124 | 126 |