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