comparison src/sqlcache.sml @ 2252:e843a04499d4

Revert to revision 2222.
author Ziv Scully <ziv@mit.edu>
date Mon, 21 Sep 2015 10:16:55 -0400
parents 25874084bf1f
children 8428c534913a
comparison
equal deleted inserted replaced
2251:25874084bf1f 2252:e843a04499d4
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, ...} : file) = 104 fun effectfulDecls (decls, _) =
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