From 68879bbb4bf58e4709c96ba6904071ce5d24a906 Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Sun, 13 Sep 2015 17:02:17 -0400
Subject: Make Mono.file a record for readability upon extension.

---
 src/mono.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/mono.sml')

diff --git a/src/mono.sml b/src/mono.sml
index 5185e48c..94c47814 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -168,6 +168,6 @@ datatype dbmode =
        | OneQuery
        | AnyDb
 
-type file = decl list * (int * sidedness * dbmode) list
+type file = {decls : decl list, sideInfo : (int * sidedness * dbmode) list}
 
 end
-- 
cgit v1.2.3