Mercurial > urweb
comparison src/mono_reduce.sml @ 1073:b2311dfb3158
Initializers and setval
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Dec 2009 14:20:41 -0500 |
parents | 757397bb9609 |
children | 52571ca9b777 |
comparison
equal
deleted
inserted
replaced
1072:9001966ae1c8 | 1073:b2311dfb3158 |
---|---|
49 case e of | 49 case e of |
50 EWrite _ => true | 50 EWrite _ => true |
51 | EQuery _ => true | 51 | EQuery _ => true |
52 | EDml _ => true | 52 | EDml _ => true |
53 | ENextval _ => true | 53 | ENextval _ => true |
54 | ESetval _ => true | |
54 | EFfiApp (m, x, _) => Settings.isEffectful (m, x) | 55 | EFfiApp (m, x, _) => Settings.isEffectful (m, x) |
55 | EServerCall _ => true | 56 | EServerCall _ => true |
56 | ERecv _ => true | 57 | ERecv _ => true |
57 | ESleep _ => true | 58 | ESleep _ => true |
58 | ENamed n => IS.member (syms, n) | 59 | ENamed n => IS.member (syms, n) |
73 case e of | 74 case e of |
74 EWrite _ => true | 75 EWrite _ => true |
75 | EQuery _ => true | 76 | EQuery _ => true |
76 | EDml _ => true | 77 | EDml _ => true |
77 | ENextval _ => true | 78 | ENextval _ => true |
79 | ESetval _ => true | |
78 | EUnurlify _ => true | 80 | EUnurlify _ => true |
79 | EAbs _ => false | 81 | EAbs _ => false |
80 | 82 |
81 | EPrim _ => false | 83 | EPrim _ => false |
82 | ERel _ => false | 84 | ERel _ => false |
446 [ReadDb], | 448 [ReadDb], |
447 summarize (d + 2) body] | 449 summarize (d + 2) body] |
448 | 450 |
449 | EDml e => summarize d e @ [WriteDb] | 451 | EDml e => summarize d e @ [WriteDb] |
450 | ENextval e => summarize d e @ [WriteDb] | 452 | ENextval e => summarize d e @ [WriteDb] |
453 | ESetval (e1, e2) => summarize d e1 @ summarize d e2 @ [WriteDb] | |
451 | EUnurlify (e, _) => summarize d e | 454 | EUnurlify (e, _) => summarize d e |
452 | EJavaScript (_, e) => summarize d e | 455 | EJavaScript (_, e) => summarize d e |
453 | ESignalReturn e => summarize d e | 456 | ESignalReturn e => summarize d e |
454 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 | 457 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 |
455 | ESignalSource e => summarize d e | 458 | ESignalSource e => summarize d e |