Mercurial > urweb
comparison src/mono_reduce.sml @ 1065:217eb87dde31
Basis.url and redirects
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Dec 2009 13:32:09 -0500 |
parents | 7a4a55e05081 |
children | 757397bb9609 |
comparison
equal
deleted
inserted
replaced
1064:b89e3d8731ed | 1065:217eb87dde31 |
---|---|
96 | 96 |
97 | ECase (e, pes, _) => impure e orelse List.exists (fn (_, e) => impure e) pes | 97 | ECase (e, pes, _) => impure e orelse List.exists (fn (_, e) => impure e) pes |
98 | 98 |
99 | EError (e, _) => impure e | 99 | EError (e, _) => impure e |
100 | EReturnBlob {blob = e1, mimeType = e2, ...} => impure e1 orelse impure e2 | 100 | EReturnBlob {blob = e1, mimeType = e2, ...} => impure e1 orelse impure e2 |
101 | ERedirect (e, _) => impure e | |
101 | 102 |
102 | EStrcat (e1, e2) => impure e1 orelse impure e2 | 103 | EStrcat (e1, e2) => impure e1 orelse impure e2 |
103 | 104 |
104 | ESeq (e1, e2) => impure e1 orelse impure e2 | 105 | ESeq (e1, e2) => impure e1 orelse impure e2 |
105 | ELet (_, _, e1, e2) => impure e1 orelse impure e2 | 106 | ELet (_, _, e1, e2) => impure e1 orelse impure e2 |
427 end*) | 428 end*) |
428 | EStrcat (e1, e2) => summarize d e1 @ summarize d e2 | 429 | EStrcat (e1, e2) => summarize d e1 @ summarize d e2 |
429 | 430 |
430 | EError (e, _) => summarize d e @ [Unsure] | 431 | EError (e, _) => summarize d e @ [Unsure] |
431 | EReturnBlob {blob = e1, mimeType = e2, ...} => summarize d e1 @ summarize d e2 @ [Unsure] | 432 | EReturnBlob {blob = e1, mimeType = e2, ...} => summarize d e1 @ summarize d e2 @ [Unsure] |
433 | ERedirect (e, _) => summarize d e @ [Unsure] | |
432 | 434 |
433 | EWrite e => summarize d e @ [WritePage] | 435 | EWrite e => summarize d e @ [WritePage] |
434 | 436 |
435 | ESeq (e1, e2) => summarize d e1 @ summarize d e2 | 437 | ESeq (e1, e2) => summarize d e1 @ summarize d e2 |
436 | ELet (_, _, e1, e2) => summarize d e1 @ summarize (d + 1) e2 | 438 | ELet (_, _, e1, e2) => summarize d e1 @ summarize (d + 1) e2 |