diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-05-16 12:41:33 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-16 12:41:33 -0400 |
commit | 768fd72de4842c23813cd45bfae4918c7395e0c1 (patch) | |
tree | b05b4f028035c9fbcc9f2477a69002c8b0034312 /src/core_untangle.sml | |
parent | 79655b086c036d07806d0c345ffc9e6683891fe4 (diff) |
Fix a Core_untangle bug that missed closure variable references; XHTMLize
Diffstat (limited to 'src/core_untangle.sml')
-rw-r--r-- | src/core_untangle.sml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/core_untangle.sml b/src/core_untangle.sml index 1b34fe8f..480ec7a4 100644 --- a/src/core_untangle.sml +++ b/src/core_untangle.sml @@ -44,6 +44,11 @@ fun exp thisGroup (e, s) = IS.add (s, n) else s + | EClosure (n, _) => + if IS.member (thisGroup, n) then + IS.add (s, n) + else + s | _ => s |