Mercurial > urweb

comparison src/iflow.sml @ 2251:25874084bf1f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make Mono.file a record for readability upon extension.
author Ziv Scully <ziv@mit.edu>
date Sun, 13 Sep 2015 17:02:17 -0400
parents 278e10629ba1
children e843a04499d4
comparison
equal deleted inserted replaced
2250:c275bbc41194 2251:25874084bf1f
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 (#1 file) 1903 | _ => exptd) IS.empty (#decls 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 (#1 file) 2167 app decl (#decls 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 ()