Add TODO regarding removal of is_wild.

diff --git a/Normalize.hs b/Normalize.hs
index e0591a87e222c5dfff98d2df755de9bf26d091a6..0004ee3a9c01a90060173d6978abc5f7891873b6 100644 (file)
--- a/Normalize.hs
+++ b/Normalize.hs
@@ -213,6 +213,7 @@ casewild expr@(Case scrut b ty alts) = do
       -- and binds that to b.
       mkextracts :: CoreBndr -> Int -> TransformMonad (Maybe (CoreBndr, CoreExpr))
       mkextracts b i =
+        -- TODO: Use free variables instead of is_wild. is_wild is a hack.
         if is_wild b || Type.isFunTy (Id.idType b) 
           -- Don't create extra bindings for binders that are already wild, or
           -- for binders that bind function types (to prevent loops with