Mercurial > urweb

comparison src/mono_reduce.sml @ 307:52d4c60518d4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First INSERT works
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 15:05:52 -0400
parents 59dc042629b9
children 04ebfe929a98
comparison
equal deleted inserted replaced
306:99e4f39e820d 307:52d4c60518d4
37 37
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 | EAbs _ => false 43 | EAbs _ => false
43 44
44 | EPrim _ => false 45 | EPrim _ => false
45 | ERel _ => false 46 | ERel _ => false
46 | ENamed _ => false 47 | ENamed _ => false