Commit 0e313d87 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Whitespace only

parent b4fec12b
...@@ -70,10 +70,10 @@ vectModule :: ModGuts -> VM ModGuts ...@@ -70,10 +70,10 @@ vectModule :: ModGuts -> VM ModGuts
vectModule guts vectModule guts
= do = do
(types', fam_insts, tc_binds) <- vectTypeEnv (mg_types guts) (types', fam_insts, tc_binds) <- vectTypeEnv (mg_types guts)
let fam_inst_env' = extendFamInstEnvList (mg_fam_inst_env guts) fam_insts let fam_inst_env' = extendFamInstEnvList (mg_fam_inst_env guts) fam_insts
updGEnv (setFamInstEnv fam_inst_env') updGEnv (setFamInstEnv fam_inst_env')
-- dicts <- mapM buildPADict pa_insts -- dicts <- mapM buildPADict pa_insts
-- workers <- mapM vectDataConWorkers pa_insts -- workers <- mapM vectDataConWorkers pa_insts
binds' <- mapM vectTopBind (mg_binds guts) binds' <- mapM vectTopBind (mg_binds guts)
...@@ -113,7 +113,7 @@ vectTopBinder var ...@@ -113,7 +113,7 @@ vectTopBinder var
var' <- cloneId mkVectOcc var vty var' <- cloneId mkVectOcc var vty
defGlobalVar var var' defGlobalVar var var'
return var' return var'
vectTopRhs :: Var -> CoreExpr -> VM CoreExpr vectTopRhs :: Var -> CoreExpr -> VM CoreExpr
vectTopRhs var expr vectTopRhs var expr
= do = do
...@@ -224,8 +224,8 @@ vectPolyExpr expr ...@@ -224,8 +224,8 @@ vectPolyExpr expr
mono' <- vectExpr mono mono' <- vectExpr mono
return $ mapVect abstract mono' return $ mapVect abstract mono'
where where
(tvs, mono) = collectAnnTypeBinders expr (tvs, mono) = collectAnnTypeBinders expr
vectExpr :: CoreExprWithFVs -> VM VExpr vectExpr :: CoreExprWithFVs -> VM VExpr
vectExpr (_, AnnType ty) vectExpr (_, AnnType ty)
= liftM vType (vectType ty) = liftM vType (vectType ty)
...@@ -252,7 +252,7 @@ vectExpr (_, AnnApp (_, AnnVar v) (_, AnnLit lit)) ...@@ -252,7 +252,7 @@ vectExpr (_, AnnApp (_, AnnVar v) (_, AnnLit lit))
return (vexpr, lexpr) return (vexpr, lexpr)
where where
is_special_con con = con `elem` [intDataCon, floatDataCon, doubleDataCon] is_special_con con = con `elem` [intDataCon, floatDataCon, doubleDataCon]
vectExpr (_, AnnApp fn arg) vectExpr (_, AnnApp fn arg)
= do = do
...@@ -320,7 +320,7 @@ vectLam fvs bs body ...@@ -320,7 +320,7 @@ vectLam fvs bs body
(vbndrs, vbody) <- vectBndrsIn (vs ++ bs) (vbndrs, vbody) <- vectBndrsIn (vs ++ bs)
(vectExpr body) (vectExpr body)
return $ vLams lc vbndrs vbody return $ vLams lc vbndrs vbody
vectTyAppExpr :: CoreExprWithFVs -> [Type] -> VM VExpr vectTyAppExpr :: CoreExprWithFVs -> [Type] -> VM VExpr
vectTyAppExpr (_, AnnVar v) tys = vectPolyVar v tys vectTyAppExpr (_, AnnVar v) tys = vectPolyVar v tys
vectTyAppExpr e tys = pprPanic "vectTyAppExpr" (ppr $ deAnnotate e) vectTyAppExpr e tys = pprPanic "vectTyAppExpr" (ppr $ deAnnotate e)
...@@ -339,7 +339,7 @@ type CoreAltWithFVs = AnnAlt Id VarSet ...@@ -339,7 +339,7 @@ type CoreAltWithFVs = AnnAlt Id VarSet
-- When lifting, we have to do it this way because v must have the type -- When lifting, we have to do it this way because v must have the type
-- [:V(T):] but the scrutinee must be cast to the representation type. We also -- [:V(T):] but the scrutinee must be cast to the representation type. We also
-- have to handle the case where v is a wild var correctly. -- have to handle the case where v is a wild var correctly.
-- --
-- FIXME: this is too lazy -- FIXME: this is too lazy
vectAlgCase tycon ty_args scrut bndr ty [(DEFAULT, [], body)] vectAlgCase tycon ty_args scrut bndr ty [(DEFAULT, [], body)]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment