Mercurial > urweb
comparison src/mono_reduce.sml @ 565:74800be65591
Creation of sources in server code
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 19 Dec 2008 11:47:18 -0500 |
parents | 463dad880470 |
children | a152905c3c3b |
comparison
equal
deleted
inserted
replaced
564:803b2f3bb86b | 565:74800be65591 |
---|---|
52 | ECon (_, _, eo) => (case eo of NONE => false | SOME e => impure e) | 52 | ECon (_, _, eo) => (case eo of NONE => false | SOME e => impure e) |
53 | ENone _ => false | 53 | ENone _ => false |
54 | ESome (_, e) => impure e | 54 | ESome (_, e) => impure e |
55 | EFfi _ => false | 55 | EFfi _ => false |
56 | EFfiApp ("Basis", "set_cookie", _) => true | 56 | EFfiApp ("Basis", "set_cookie", _) => true |
57 | EFfiApp ("Basis", "new_client_source", _) => true | |
57 | EFfiApp _ => false | 58 | EFfiApp _ => false |
58 | EApp ((EFfi _, _), _) => false | 59 | EApp ((EFfi _, _), _) => false |
59 | EApp _ => true | 60 | EApp _ => true |
60 | 61 |
61 | EUnop (_, e) => impure e | 62 | EUnop (_, e) => impure e |
255 | ECon (_, _, SOME e) => summarize d e | 256 | ECon (_, _, SOME e) => summarize d e |
256 | ENone _ => [] | 257 | ENone _ => [] |
257 | ESome (_, e) => summarize d e | 258 | ESome (_, e) => summarize d e |
258 | EFfi _ => [] | 259 | EFfi _ => [] |
259 | EFfiApp ("Basis", "set_cookie", _) => [Unsure] | 260 | EFfiApp ("Basis", "set_cookie", _) => [Unsure] |
261 | EFfiApp ("Basis", "new_client_source", _) => [Unsure] | |
260 | EFfiApp (_, _, es) => List.concat (map (summarize d) es) | 262 | EFfiApp (_, _, es) => List.concat (map (summarize d) es) |
261 | EApp ((EFfi _, _), e) => summarize d e | 263 | EApp ((EFfi _, _), e) => summarize d e |
262 | EApp _ => | 264 | EApp _ => |
263 let | 265 let |
264 fun unravel (e, ls) = | 266 fun unravel (e, ls) = |