comparison src/fuse.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 9304474170ed
children 25874084bf1f
comparison
equal deleted inserted replaced
1844:2c5e6f78560c 1845:c1e3805e604e
142 decl = fn x => x} 142 decl = fn x => x}
143 d, 143 d,
144 (funcs, maxName)) 144 (funcs, maxName))
145 end 145 end
146 146
147 val (file, _) = ListUtil.foldlMap doDecl (IM.empty, U.File.maxName file + 1) file 147 val (ds, _) = ListUtil.foldlMap doDecl (IM.empty, U.File.maxName file + 1) (#1 file)
148 in 148 in
149 file 149 (ds, #2 file)
150 end 150 end
151 151
152 end 152 end