Mercurial > urweb
comparison src/monoize.sml @ 1845:c1e3805e604e
Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 15 Mar 2013 16:09:55 -0400 |
parents | 184d00f7be74 |
children | e15234fbb163 |
comparison
equal
deleted
inserted
replaced
1844:2c5e6f78560c | 1845:c1e3805e604e |
---|---|
4654 (env, Fm.empty mname, []) file | 4654 (env, Fm.empty mname, []) file |
4655 in | 4655 in |
4656 pvars := RM.empty; | 4656 pvars := RM.empty; |
4657 pvarDefs := []; | 4657 pvarDefs := []; |
4658 pvarOldDefs := []; | 4658 pvarOldDefs := []; |
4659 rev ds | 4659 (rev ds, []) |
4660 end | 4660 end |
4661 | 4661 |
4662 end | 4662 end |