Mercurial > urweb

diff src/compiler.sml @ 1856:3683d1a8c1c8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add Sigcheck phase to avoid issues with signatures in global initializers
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Jun 2013 08:18:47 -0400
parents bcae365efa85
children d6b0ee53dc93
line wrap: on
line diff
--- a/src/compiler.sml	Fri Jun 07 16:11:52 2013 -0400
+++ b/src/compiler.sml	Sat Jun 15 08:18:47 2013 -0400
@@ -1410,12 +1410,19 @@
 
 val toSidecheck = transform sidecheck "sidecheck" o toPathcheck
 
+val sigcheck = {
+    func = SigCheck.check,
+    print = MonoPrint.p_file MonoEnv.empty
+}
+
+val toSigcheck = transform sigcheck "sigcheck" o toSidecheck
+
 val cjrize = {
     func = Cjrize.cjrize,
     print = CjrPrint.p_file CjrEnv.empty
 }
 
-val toCjrize = transform cjrize "cjrize" o toSidecheck
+val toCjrize = transform cjrize "cjrize" o toSigcheck
 
 val prepare = {
     func = Prepare.prepare,