Mercurial > urweb

comparison src/mono_reduce.sml @ 565:74800be65591

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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) =