comparison src/monoize.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 2b1af5dc6dee
children e843a04499d4
comparison
equal deleted inserted replaced
2250:c275bbc41194 2251:25874084bf1f
4784 (env, Fm.empty mname, []) file 4784 (env, Fm.empty mname, []) file
4785 in 4785 in
4786 pvars := RM.empty; 4786 pvars := RM.empty;
4787 pvarDefs := []; 4787 pvarDefs := [];
4788 pvarOldDefs := []; 4788 pvarOldDefs := [];
4789 (rev ds, []) 4789 {decls = rev ds, sideInfo = []}
4790 end 4790 end
4791 4791
4792 end 4792 end