comparison src/monoize.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 d665925acff8
comparison
equal deleted inserted replaced
2251:25874084bf1f 2252:e843a04499d4
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 {decls = rev ds, sideInfo = []} 4789 (rev ds, [])
4790 end 4790 end
4791 4791
4792 end 4792 end