diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-03-15 16:09:55 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-03-15 16:09:55 -0400 |
| commit | 3d21914a4b831ee9c727dd4296e56961c1e4ea89 (patch) | |
| tree | 23527da3ec268f47015698c307c3d19f5c35b594 /src/iflow.sml | |
| parent | 76e5e75ab203b7a8b7701b9d3e496653bd213345 (diff) | |
Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
Diffstat (limited to 'src/iflow.sml')
| -rw-r--r-- | src/iflow.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/iflow.sml b/src/iflow.sml index fe0be731..8c933dc4 100644 --- a/src/iflow.sml +++ b/src/iflow.sml @@ -1795,7 +1795,7 @@ fun evalExp env (e as (_, loc)) k = datatype var_source = Input of int | SubInput of int | Unknown -fun check file = +fun check (file : file) = let val () = (St.reset (); rfuns := IM.empty) @@ -1810,7 +1810,7 @@ fun check file = val exptd = foldl (fn ((d, _), exptd) => case d of DExport (_, _, n, _, _, _) => IS.add (exptd, n) - | _ => exptd) IS.empty file + | _ => exptd) IS.empty (#1 file) fun decl (d, loc) = case d of @@ -2071,7 +2071,7 @@ fun check file = | _ => () in - app decl file + app decl (#1 file) end val check = fn file => |