Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
1844:2c5e6f78560c | 1845:c1e3805e604e |
---|---|
108 | DStyle s => doStyle s | 108 | DStyle s => doStyle s |
109 | 109 |
110 | _ => (funcs, rels, cookies, styles) | 110 | _ => (funcs, rels, cookies, styles) |
111 end | 111 end |
112 | 112 |
113 fun check ds = ignore (foldl checkDecl (SS.empty, SS.empty, SS.empty, SS.empty) ds) | 113 fun check (ds, _) = ignore (foldl checkDecl (SS.empty, SS.empty, SS.empty, SS.empty) ds) |
114 | 114 |
115 end | 115 end |