-- friends:
-- (PprType can see all the representations it's trying to print)
-import TypeRep ( Type(..), TyNote(..), IPName(..),
+import TypeRep ( Type(..), TyNote(..),
Kind, liftedTypeKind ) -- friend
import Type ( SourceType(..), isUTyVar, eqKind )
-import TcType ( ThetaType, PredType, ipNameName,
+import TcType ( ThetaType, PredType,
tcSplitSigmaTy, isPredTy, isDictTy,
tcSplitTyConApp_maybe, tcSplitFunTy_maybe
)
import Outputable
import Unique ( Uniquable(..) )
import Util ( lengthIs )
-import BasicTypes ( tupleParens )
+import BasicTypes ( IPName(..), tupleParens, ipNameName )
import PrelNames -- quite a few *Keys
\end{code}
ppr = pprPred
instance Outputable name => Outputable (IPName name) where
- ppr (Dupable n) = char '?' <> ppr n -- Ordinary implicit parameters
- ppr (MustSplit n) = char '%' <> ppr n -- Splittable implicit parameters
+ ppr (Dupable n) = char '?' <> ppr n -- Ordinary implicit parameters
+ ppr (Linear n) = char '%' <> ppr n -- Splittable implicit parameters
\end{code}