comparison src/scriptcheck.sml @ 1065:217eb87dde31

Basis.url and redirects
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Dec 2009 13:32:09 -0500
parents 8371d12ae63f
children b2311dfb3158
comparison
equal deleted inserted replaced
1064:b89e3d8731ed 1065:217eb87dde31
104 | ERecord (_, xes) => List.exists (hasClient o #2) xes 104 | ERecord (_, xes) => List.exists (hasClient o #2) xes
105 | EField (e, _) => hasClient e 105 | EField (e, _) => hasClient e
106 | ECase (e, pes, _) => hasClient e orelse List.exists (hasClient o #2) pes 106 | ECase (e, pes, _) => hasClient e orelse List.exists (hasClient o #2) pes
107 | EError (e, _) => hasClient e 107 | EError (e, _) => hasClient e
108 | EReturnBlob {blob = e1, mimeType = e2, ...} => hasClient e1 orelse hasClient e2 108 | EReturnBlob {blob = e1, mimeType = e2, ...} => hasClient e1 orelse hasClient e2
109 | ERedirect (e, _) => hasClient e
109 | EWrite e => hasClient e 110 | EWrite e => hasClient e
110 | ESeq (e1, e2) => hasClient e1 orelse hasClient e2 111 | ESeq (e1, e2) => hasClient e1 orelse hasClient e2
111 | ELet (_, _, e1, e2) => hasClient e1 orelse hasClient e2 112 | ELet (_, _, e1, e2) => hasClient e1 orelse hasClient e2
112 | EQuery {query, body, initial, ...} => hasClient query orelse hasClient body 113 | EQuery {query, body, initial, ...} => hasClient query orelse hasClient body
113 orelse hasClient initial 114 orelse hasClient initial