aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/sqlcache.sml
diff options
context:
space:
mode:
authorGravatar Ziv Scully <ziv@mit.edu>2015-09-13 17:02:17 -0400
committerGravatar Ziv Scully <ziv@mit.edu>2015-09-13 17:02:17 -0400
commit68879bbb4bf58e4709c96ba6904071ce5d24a906 (patch)
tree163346ebe21b265592fb687e4f55af494880e15c /src/sqlcache.sml
parent46fe4e62ddefd8f79f4a29f7a273f585436d3c85 (diff)
Make Mono.file a record for readability upon extension.
Diffstat (limited to 'src/sqlcache.sml')
-rw-r--r--src/sqlcache.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sqlcache.sml b/src/sqlcache.sml
index 8efe999c..40081351 100644
--- a/src/sqlcache.sml
+++ b/src/sqlcache.sml
@@ -101,7 +101,7 @@ fun effectful (effs : IS.set) =
end
(* TODO: test this. *)
-fun effectfulDecls (decls, _) =
+fun effectfulDecls ({decls, ...} : file) =
let
fun doVal ((_, name, _, e, _), effs) =
if effectful effs MonoEnv.empty e