Mercurial > urweb
comparison src/mono_reduce.sml @ 338:e976b187d73a
SQL sequences
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 14 Sep 2008 11:02:18 -0400 |
parents | 1fd2a29a7c85 |
children | 389399d65331 |
comparison
equal
deleted
inserted
replaced
337:18d5affa790d | 338:e976b187d73a |
---|---|
38 fun impure (e, _) = | 38 fun impure (e, _) = |
39 case e of | 39 case e of |
40 EWrite _ => true | 40 EWrite _ => true |
41 | EQuery _ => true | 41 | EQuery _ => true |
42 | EDml _ => true | 42 | EDml _ => true |
43 | ENextval _ => true | |
43 | EAbs _ => false | 44 | EAbs _ => false |
44 | 45 |
45 | EPrim _ => false | 46 | EPrim _ => false |
46 | ERel _ => false | 47 | ERel _ => false |
47 | ENamed _ => false | 48 | ENamed _ => false |
248 summarize (d + 2) body, | 249 summarize (d + 2) body, |
249 summarize d initial, | 250 summarize d initial, |
250 [ReadDb]] | 251 [ReadDb]] |
251 | 252 |
252 | EDml e => summarize d e @ [WriteDb] | 253 | EDml e => summarize d e @ [WriteDb] |
254 | ENextval e => summarize d e @ [WriteDb] | |
253 | 255 |
254 fun exp env e = | 256 fun exp env e = |
255 case e of | 257 case e of |
256 ERel n => | 258 ERel n => |
257 (case E.lookupERel env n of | 259 (case E.lookupERel env n of |