Mercurial > urweb

comparison src/sqlcache.sml @ 2251:25874084bf1f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make Mono.file a record for readability upon extension.
author Ziv Scully <ziv@mit.edu>
date Sun, 13 Sep 2015 17:02:17 -0400
parents c275bbc41194
children e843a04499d4
comparison
equal deleted inserted replaced
2250:c275bbc41194 2251:25874084bf1f
99 in 99 in
100 MonoUtil.Exp.existsB {typ = fn _ => false, exp = doExp, bind = doBind} 100 MonoUtil.Exp.existsB {typ = fn _ => false, exp = doExp, bind = doBind}
101 end 101 end
102 102
103 (* TODO: test this. *) 103 (* TODO: test this. *)
104 fun effectfulDecls (decls, _) = 104 fun effectfulDecls ({decls, ...} : file) =
105 let 105 let
106 fun doVal ((_, name, _, e, _), effs) = 106 fun doVal ((_, name, _, e, _), effs) =
107 if effectful effs MonoEnv.empty e 107 if effectful effs MonoEnv.empty e
108 then IS.add (effs, name) 108 then IS.add (effs, name)
109 else effs 109 else effs