X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Normalize.hs;h=d2f50a708315702bf0cc5478bb8026875c57610d;hb=570e26f7870fffb1b08fcf44c972b2152d942fc6;hp=99f6f0c3a59bdc57b03f4beee4a42017d3ca343a;hpb=53735ca153875e04d2d2d259d3125db6a415f998;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/Normalize.hs b/Normalize.hs index 99f6f0c..d2f50a7 100644 --- a/Normalize.hs +++ b/Normalize.hs @@ -361,10 +361,10 @@ normalizeBind bndr = do -- Find all vars used with a function type. All of these should be global -- binders (i.e., functions used), since any local binders with a function -- type should have been inlined already. - let used_funcs_set = CoreFVs.exprSomeFreeVars (\v -> trace (showSDoc $ ppr $ Id.idType v) ((Type.isFunTy . snd . Type.splitForAllTys . Id.idType)v)) expr'' + let used_funcs_set = CoreFVs.exprSomeFreeVars (\v -> (Type.isFunTy . snd . Type.splitForAllTys . Id.idType) v) expr'' let used_funcs = VarSet.varSetElems used_funcs_set -- Process each of the used functions recursively - mapM normalizeBind (trace (show used_funcs) used_funcs) + mapM normalizeBind used_funcs return () -- We don't have a value for this binder, let's assume this is a builtin -- function. This might need some extra checking and a nice error