From a08cf3ac2078e5e666e1737f6402cb9232671bfb Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Wed, 1 Jul 2009 17:00:49 +0200 Subject: [PATCH] Add TODO regarding removal of is_wild. --- Normalize.hs | 1 + 1 file changed, 1 insertion(+) 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 -- 2.30.2