Mercurial > urweb

comparison src/sigcheck.sml @ 2252:e843a04499d4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Revert to revision 2222.
author Ziv Scully <ziv@mit.edu>
date Mon, 21 Sep 2015 10:16:55 -0400
parents 25874084bf1f
children
comparison
equal deleted inserted replaced
2251:25874084bf1f 2252:e843a04499d4
14 * 14 *
15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
30 open Mono 30 open Mono
31 31
32 structure IS = IntBinarySet 32 structure IS = IntBinarySet
33 structure E = ErrorMsg 33 structure E = ErrorMsg
34 34
35 fun check (file : file) = 35 fun check (ds, sl) =
36 let 36 let
37 fun isSiggy siggers = 37 fun isSiggy siggers =
38 MonoUtil.Decl.exists {typ = fn _ => false, 38 MonoUtil.Decl.exists {typ = fn _ => false,
39 decl = fn _ => false, 39 decl = fn _ => false,
40 exp = fn e => 40 exp = fn e =>
87 sigdecs)) 87 sigdecs))
88 else 88 else
89 (sigify sigdecs d, (siggers, sigdecs)) 89 (sigify sigdecs d, (siggers, sigdecs))
90 | _ => (sigify sigdecs d, (siggers, sigdecs)) 90 | _ => (sigify sigdecs d, (siggers, sigdecs))
91 91
92 val (ds, _) = ListUtil.foldlMap doDecl (IS.empty, IS.empty) (#decls file) 92 val (ds, _) = ListUtil.foldlMap doDecl (IS.empty, IS.empty) ds
93 in 93 in
94 {decls = ds, sideInfo = #sideInfo file} 94 (ds, sl)
95 end 95 end
96 96
97 end 97 end