projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Rough matches for family instances
[ghc-hetmet.git]
/
compiler
/
iface
/
IfaceType.lhs
diff --git
a/compiler/iface/IfaceType.lhs
b/compiler/iface/IfaceType.lhs
index
70399e7
..
ee37891
100644
(file)
--- a/
compiler/iface/IfaceType.lhs
+++ b/
compiler/iface/IfaceType.lhs
@@
-10,7
+10,7
@@
module IfaceType (
IfaceContext, IfaceBndr(..), IfaceTvBndr, IfaceIdBndr, IfaceCoercion,
IfaceExtName(..), mkIfaceExtName, isLocalIfaceExtName,
IfaceContext, IfaceBndr(..), IfaceTvBndr, IfaceIdBndr, IfaceCoercion,
IfaceExtName(..), mkIfaceExtName, isLocalIfaceExtName,
- ifaceTyConName,
+ ifaceTyConName, ifaceTyConOccName,
-- Conversion from Type -> IfaceType
toIfaceType, toIfacePred, toIfaceContext,
-- Conversion from Type -> IfaceType
toIfaceType, toIfacePred, toIfaceContext,
@@
-145,7
+145,9
@@
ifaceTyConName IfaceUbxTupleKindTc = ubxTupleKindTyConName
ifaceTyConName IfaceArgTypeKindTc = argTypeKindTyConName
ifaceTyConName (IfaceTc ext) = pprPanic "ifaceTyConName" (ppr ext)
ifaceTyConName IfaceArgTypeKindTc = argTypeKindTyConName
ifaceTyConName (IfaceTc ext) = pprPanic "ifaceTyConName" (ppr ext)
-
+ifaceTyConOccName :: IfaceTyCon -> OccName -- Works for all!
+ifaceTyConOccName (IfaceTc ext) = ifaceExtOcc ext
+ifaceTyConOccName tycon = nameOccName . ifaceTyConName $ tycon
\end{code}
\end{code}