Mercurial > urweb

comparison 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
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