Mercurial > urweb
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 |