X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fvectorise%2FVectorise%2FExp.hs;h=28ff4d88de907f65e576d89cbac9d49a319dd864;hb=56602d12c1a46fca405a9a53a91497a9597e2397;hp=4e07086fd83eff5ce17b6cd0a309dc075b350ed7;hpb=f0c2b5e857841103e5431b698a9eb853aea399b0;p=ghc-hetmet.git diff --git a/compiler/vectorise/Vectorise/Exp.hs b/compiler/vectorise/Vectorise/Exp.hs index 4e07086..28ff4d8 100644 --- a/compiler/vectorise/Vectorise/Exp.hs +++ b/compiler/vectorise/Vectorise/Exp.hs @@ -204,7 +204,7 @@ vectScalarLam args body is_scalar vs (Var v) = v `elemVarSet` vs is_scalar _ e@(Lit _) = is_scalar_ty $ exprType e - is_scalar _ (App (Var v) (Lit lit)) + is_scalar _ (App (Var v) (Lit _)) | Just con <- isDataConId_maybe v = con `elem` [intDataCon, floatDataCon, doubleDataCon] is_scalar vs (App e1 e2) = is_scalar vs e1 && is_scalar vs e2 @@ -219,7 +219,7 @@ vectScalarLam args body is_scalar vs' e && (all (is_scalar_alt vs') alts) - is_scalar _ e = False + is_scalar _ _ = False is_scalar_alt vs (_, bs, e) = is_scalar (extendVarSetList vs bs) e @@ -230,13 +230,13 @@ vectScalarLam args body -- (\n# x -> x) which is what we want. uses funs (Var v) = v `elemVarSet` funs uses funs (App e1 e2) = uses funs e1 || uses funs e2 - uses funs (Let (NonRec b letExpr) body) + uses funs (Let (NonRec _b letExpr) body) = uses funs letExpr || uses funs body - uses funs (Case e eId ty alts) + uses funs (Case e _eId _ty alts) = uses funs e || any (uses_alt funs) alts uses _ _ = False - uses_alt funs (_, bs, e) + uses_alt funs (_, _bs, e) = uses funs e -- | Vectorise a lambda abstraction.