From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Wed, 1 Jul 2009 15:00:49 +0000 (+0200)
Subject: Add TODO regarding removal of is_wild.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=a08cf3ac2078e5e666e1737f6402cb9232671bfb;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Add TODO regarding removal of is_wild.
---

diff --git a/Normalize.hs b/Normalize.hs
index e0591a8..0004ee3 100644
--- 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