diff options
| author | Roman Leshchinskiy <rl@cse.unsw.edu.au> | 2007-08-03 03:00:31 +0000 |
|---|---|---|
| committer | Roman Leshchinskiy <rl@cse.unsw.edu.au> | 2007-08-03 03:00:31 +0000 |
| commit | 2b6729b13977b9fdc4a2120a0bbb7c0865b93198 (patch) | |
| tree | bc2df2a6473adb27c31dd8f3b8257482d024ecd7 | |
| parent | c099327dd5765dfefccb01302ef8ea8369728cbf (diff) | |
| download | haskell-2b6729b13977b9fdc4a2120a0bbb7c0865b93198.tar.gz | |
Make sure PA dfuns are keyed on the vectorised tycon in VectInfo
| -rw-r--r-- | compiler/iface/TcIface.lhs | 2 | ||||
| -rw-r--r-- | compiler/main/HscTypes.lhs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs index aee313249c..e116da7075 100644 --- a/compiler/iface/TcIface.lhs +++ b/compiler/iface/TcIface.lhs @@ -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 diff --git a/compiler/main/HscTypes.lhs b/compiler/main/HscTypes.lhs index a7b9f97f55..c05acb7057 100644 --- a/compiler/main/HscTypes.lhs +++ b/compiler/main/HscTypes.lhs @@ -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 |