Mercurial > urweb
comparison src/untangle.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 | 25b28625d4df |
children | 25874084bf1f |
comparison
equal
deleted
inserted
replaced
1844:2c5e6f78560c | 1845:c1e3805e604e |
---|---|
41 case e of | 41 case e of |
42 ENamed n => IS.add (s, n) | 42 ENamed n => IS.add (s, n) |
43 | 43 |
44 | _ => s | 44 | _ => s |
45 | 45 |
46 fun untangle file = | 46 fun untangle (file : file) = |
47 let | 47 let |
48 fun decl (dAll as (d, loc)) = | 48 fun decl (dAll as (d, loc)) = |
49 case d of | 49 case d of |
50 DValRec vis => | 50 DValRec vis => |
51 let | 51 let |
206 in | 206 in |
207 ds | 207 ds |
208 end | 208 end |
209 | _ => [dAll] | 209 | _ => [dAll] |
210 in | 210 in |
211 ListUtil.mapConcat decl file | 211 (ListUtil.mapConcat decl (#1 file), #2 file) |
212 end | 212 end |
213 | 213 |
214 end | 214 end |