comparison src/iflow.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 8428c534913a
comparison
equal deleted inserted replaced
2251:25874084bf1f 2252:e843a04499d4
1898 (*val () = Print.preface ("File", MonoPrint.p_file MonoEnv.empty file)*) 1898 (*val () = Print.preface ("File", MonoPrint.p_file MonoEnv.empty file)*)
1899 1899
1900 val exptd = foldl (fn ((d, _), exptd) => 1900 val exptd = foldl (fn ((d, _), exptd) =>
1901 case d of 1901 case d of
1902 DExport (_, _, n, _, _, _) => IS.add (exptd, n) 1902 DExport (_, _, n, _, _, _) => IS.add (exptd, n)
1903 | _ => exptd) IS.empty (#decls file) 1903 | _ => exptd) IS.empty (#1 file)
1904 1904
1905 fun decl (d, loc) = 1905 fun decl (d, loc) =
1906 case d of 1906 case d of
1907 DTable (tab, fs, pk, _) => 1907 DTable (tab, fs, pk, _) =>
1908 let 1908 let
2162 | _ => ()) 2162 | _ => ())
2163 end 2163 end
2164 2164
2165 | _ => () 2165 | _ => ()
2166 in 2166 in
2167 app decl (#decls file) 2167 app decl (#1 file)
2168 end 2168 end
2169 2169
2170 val check = fn file => 2170 val check = fn file =>
2171 let 2171 let
2172 val oldInline = Settings.getMonoInline () 2172 val oldInline = Settings.getMonoInline ()