vectModule :: ModGuts -> VM ModGuts
vectModule guts
= do
+ types' <- vectTypeEnv (mg_types guts)
binds' <- mapM vectTopBind (mg_binds guts)
- return $ guts { mg_binds = binds' }
+ return $ guts { mg_types = types'
+ , mg_binds = binds' }
vectTopBind :: CoreBind -> VM CoreBind
vectTopBind b@(NonRec var expr)
vectTyAppExpr lc (_, AnnVar v) tys = vectPolyVar lc v tys
vectTyAppExpr lc e tys = pprPanic "vectTyAppExpr" (ppr $ deAnnotate e)
--- ----------------------------------------------------------------------------
--- Types
-
-