Mercurial > urweb
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 |