Commit 09d0e7d9 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Use pprSourceTyCon; delete unused tyConOrigHead

parent 683a2690
......@@ -543,7 +543,7 @@ cond_isProduct (gla_exts, rep_tc)
| isProductTyCon rep_tc = Nothing
| otherwise = Just why
where
why = (pprSourceTyCon rep_tc) <+>
why = quotes (pprSourceTyCon rep_tc) <+>
ptext SLIT("has more than one constructor")
cond_typeableOK :: Condition
......
......@@ -54,8 +54,7 @@ module Type (
applyTy, applyTys, isForAllTy, dropForAlls,
-- Source types
predTypeRep, mkPredTy, mkPredTys,
tyConOrigHead, pprSourceTyCon,
predTypeRep, mkPredTy, mkPredTys, pprSourceTyCon,
-- Newtypes
splitRecNewType_maybe, newTyConInstRhs,
......@@ -604,13 +603,6 @@ predTypeRep (ClassP clas tys) = mkTyConApp (classTyCon clas) tys
-- look through that too if necessary
predTypeRep (EqPred ty1 ty2) = pprPanic "predTypeRep" (ppr (EqPred ty1 ty2))
-- The original head is the tycon and its variables for a vanilla tycon and it
-- is the family tycon and its type indexes for a family instance.
tyConOrigHead :: TyCon -> (TyCon, [Type])
tyConOrigHead tycon = case tyConFamInst_maybe tycon of
Nothing -> (tycon, mkTyVarTys (tyConTyVars tycon))
Just famInst -> famInst
-- Pretty prints a tycon, using the family instance in case of a
-- representation tycon. For example
-- e.g. data T [a] = ...
......
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