-- Type place holder
PostTcType, placeHolderType,
- -- Name place holder
- SyntaxName, placeHolderName,
-
-- Printing
pprParendHsType, pprHsForAll, pprHsContext, ppr_hs_context, pprHsTyVarBndr
) where
import Type ( Type )
import Kind ( {- instance Outputable Kind -}, Kind,
pprParendKind, pprKind, isLiftedTypeKind )
-import Name ( Name, mkInternalName )
-import OccName ( mkVarOcc )
import BasicTypes ( IPName, Boxity, tupleParens )
-import PrelNames ( unboundKey )
-import SrcLoc ( noSrcLoc, Located(..), unLoc, noSrcSpan )
+import SrcLoc ( Located(..), unLoc, noSrcSpan )
import StaticFlags ( opt_PprStyle_Debug )
import Outputable
\end{code}
placeHolderType :: PostTcType -- Used before typechecking
placeHolderType = panic "Evaluated the place holder for a PostTcType"
-
-
-type SyntaxName = Name -- These names are filled in by the renamer
- -- Before then they are a placeHolderName (so that
- -- we can still print the HsSyn)
- -- They correspond to "rebindable syntax";
- -- See RnEnv.lookupSyntaxName
-
-placeHolderName :: SyntaxName
-placeHolderName = mkInternalName unboundKey
- (mkVarOcc FSLIT("syntaxPlaceHolder"))
- noSrcLoc
\end{code}
%************************************************************************