Mercurial > urweb
diff src/pathcheck.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 | 72670131dace |
children | 4d64af730e35 |
line wrap: on
line diff
--- a/src/pathcheck.sml Tue Mar 12 16:21:20 2013 -0400 +++ b/src/pathcheck.sml Fri Mar 15 16:09:55 2013 -0400 @@ -110,6 +110,6 @@ | _ => (funcs, rels, cookies, styles) end -fun check ds = ignore (foldl checkDecl (SS.empty, SS.empty, SS.empty, SS.empty) ds) +fun check (ds, _) = ignore (foldl checkDecl (SS.empty, SS.empty, SS.empty, SS.empty) ds) end