Mercurial > urweb

comparison src/untangle.sml @ 1845:c1e3805e604e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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