Mercurial > urweb
comparison src/sigcheck.sml @ 2251:25874084bf1f
Make Mono.file a record for readability upon extension.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Sun, 13 Sep 2015 17:02:17 -0400 |
parents | 3683d1a8c1c8 |
children | e843a04499d4 |
comparison
equal
deleted
inserted
replaced
2250:c275bbc41194 | 2251:25874084bf1f |
---|---|
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 (ds, sl) = | 35 fun check (file : file) = |
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) ds | 92 val (ds, _) = ListUtil.foldlMap doDecl (IS.empty, IS.empty) (#decls file) |
93 in | 93 in |
94 (ds, sl) | 94 {decls = ds, sideInfo = #sideInfo file} |
95 end | 95 end |
96 | 96 |
97 end | 97 end |