projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix Trac #3346: tcSimplify for LHS of RULES with type equalities
[ghc-hetmet.git]
/
compiler
/
types
/
Generics.lhs
diff --git
a/compiler/types/Generics.lhs
b/compiler/types/Generics.lhs
index
c0fb4fc
..
fed023e
100644
(file)
--- a/
compiler/types/Generics.lhs
+++ b/
compiler/types/Generics.lhs
@@
-18,13
+18,11
@@
module Generics ( canDoGenerics, mkTyConGenericBinds,
import HsSyn
import Type
import HsSyn
import Type
-import TcHsSyn
import TcType
import DataCon
import TyCon
import Name
import TcType
import DataCon
import TyCon
import Name
-import OccName
import RdrName
import BasicTypes
import Var
import RdrName
import BasicTypes
import Var
@@
-398,7
+396,7
@@
mkGenericNames tycon
where
tc_name = tyConName tycon
tc_occ = nameOccName tc_name
where
tc_name = tyConName tycon
tc_occ = nameOccName tc_name
- tc_mod = nameModule tc_name
+ tc_mod = ASSERT( isExternalName tc_name ) nameModule tc_name
from_RDR = mkOrig tc_mod (mkGenOcc1 tc_occ)
to_RDR = mkOrig tc_mod (mkGenOcc2 tc_occ)
\end{code}
from_RDR = mkOrig tc_mod (mkGenOcc1 tc_occ)
to_RDR = mkOrig tc_mod (mkGenOcc2 tc_occ)
\end{code}