Commit 2b6729b1 authored by rl@cse.unsw.edu.au's avatar rl@cse.unsw.edu.au
Browse files

Make sure PA dfuns are keyed on the vectorised tycon in VectInfo

parent c099327d
......@@ -628,7 +628,7 @@ tcIfaceVectInfo mod typeEnv (IfaceVectInfo
; vDataCons <- mapM vectDataConMapping (tyConDataCons tycon)
; return ((name, (tycon, vTycon)), -- (T, T_v)
vDataCons, -- list of (Ci, Ci_v)
(name, (tycon, paTycon)), -- (T, paT)
(vName, (vTycon, paTycon)), -- (T_v, paT)
(name, (tycon, isoTycon))) -- (T, isoT)
}
vectTyConReuseMapping name
......
......@@ -1302,7 +1302,7 @@ data VectInfo
vectInfoVar :: VarEnv (Var , Var ), -- (f, f_v) keyed on f
vectInfoTyCon :: NameEnv (TyCon , TyCon), -- (T, T_v) keyed on T
vectInfoDataCon :: NameEnv (DataCon, DataCon), -- (C, C_v) keyed on C
vectInfoPADFun :: NameEnv (TyCon , Var), -- (C, paT) keyed on T
vectInfoPADFun :: NameEnv (TyCon , Var), -- (T_v, paT) keyed on T_v
vectInfoIso :: NameEnv (TyCon , Var) -- (T, isoT) keyed on T
}
-- all of this is always tidy, even in ModGuts
......
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