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 | 115361547594fd6773de3a0c9235fccd9962dd9c (patch) | |
| tree | 23527da3ec268f47015698c307c3d19f5c35b594 /src/iflow.sml | |
| parent | 27dcf1a2bd96d9b1b4cd77674da115e38ff098d4 (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 => |