comparison src/mono.sml @ 2251:25874084bf1f

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 278e10629ba1
children e843a04499d4
comparison
equal deleted inserted replaced
2250:c275bbc41194 2251:25874084bf1f
166 datatype dbmode = 166 datatype dbmode =
167 NoDb 167 NoDb
168 | OneQuery 168 | OneQuery
169 | AnyDb 169 | AnyDb
170 170
171 type file = decl list * (int * sidedness * dbmode) list 171 type file = {decls : decl list, sideInfo : (int * sidedness * dbmode) list}
172 172
173 end 173 end