Add getGlobalBinders accessor.

diff --git a/NormalizeTypes.hs b/NormalizeTypes.hs
index e959bbba42fe5e067278668cfca6ce1c048e3450..5c7c24a6e1623805f255c2f61e0122e83709e68d 100644 (file)
--- a/NormalizeTypes.hs
+++ b/NormalizeTypes.hs
@@ -47,3 +47,9 @@ getGlobalBind bndr = do
 -- Adds a new global binding with the given value
 addGlobalBind :: CoreBndr -> CoreExpr -> TransformSession ()
 addGlobalBind bndr expr = modA tsBindings (Map.insert bndr expr)
+
+-- Returns a list of all global binders
+getGlobalBinders :: TransformSession [CoreBndr]
+getGlobalBinders = do
+  bindings <- getA tsBindings
+  return $ Map.keys bindings