comparison src/core_untangle.sml @ 802:ef6de4075dc1

Fix a Core_untangle bug that missed closure variable references; XHTMLize
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 12:41:33 -0400
parents 23a88d81a1b5
children 2a50da66ffd8
comparison
equal deleted inserted replaced
801:5f49a6b759cb 802:ef6de4075dc1
42 ENamed n => 42 ENamed n =>
43 if IS.member (thisGroup, n) then 43 if IS.member (thisGroup, n) then
44 IS.add (s, n) 44 IS.add (s, n)
45 else 45 else
46 s 46 s
47 | EClosure (n, _) =>
48 if IS.member (thisGroup, n) then
49 IS.add (s, n)
50 else
51 s
47 52
48 | _ => s 53 | _ => s
49 54
50 fun untangle file = 55 fun untangle file =
51 let 56 let