Hoogle Search
Within LTS Haskell 24.25 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
TcRnMultipleFixityDecls :: SrcSpan -> RdrName -> TcRnMessageghc GHC.Tc.Errors.Types TcRnMultipleFixityDecls is an error triggered by multiple fixity declarations for the same operator. Example(s): infixr 6 $$ infixl 4 $$ Test cases: renameshould_failRnMultipleFixityFail
TcRnNamespacedFixitySigWithoutFlag :: FixitySig GhcPs -> TcRnMessageghc GHC.Tc.Errors.Types TcRnNamespacedFixitySigWithoutFlag is an error that occurs when a namespace specifier is used in fixity signatures without the -XExplicitNamespaces extension enabled Example: {-# LANGUAGE NoExplicitNamespaces #-} f = const infixl 7 data f Test cases: T14032c
TcRnTypeDoesNotHaveFixedRuntimeRep :: Type -> FixedRuntimeRepProvenance -> ErrInfo -> TcRnMessageghc GHC.Tc.Errors.Types A type which was expected to have a fixed runtime representation does not have a fixed runtime representation. Example: data D (a :: TYPE r) = MkD a Test cases: T11724, T18534, RepPolyPatSynArg, RepPolyPatSynUnliftedNewtype, RepPolyPatSynRes, T20423
pprFixedRuntimeRepProvenance :: FixedRuntimeRepProvenance -> SDocghc GHC.Tc.Errors.Types No documentation available.
instFlexiX :: Subst -> [TKVar] -> TcS Substghc GHC.Tc.Solver.Monad No documentation available.
tcg_fix_env :: TcGblEnv -> FixityEnvghc GHC.Tc.Types Just for things in this module
-
ghc GHC.Tc.Types.Origin The context in which a representation-polymorphism check was performed. Does not include the type on which the check was performed; see FixedRuntimeRepOrigin for that.
-
ghc GHC.Tc.Types.Origin The context for a representation-polymorphism check. For example, when typechecking (a :: k) -> ..., we are checking the type a because it's the type of a term variable bound in a lambda, so we use FRRBinder.
FixedRuntimeRepOrigin :: Type -> FixedRuntimeRepContext -> FixedRuntimeRepOriginghc GHC.Tc.Types.Origin No documentation available.
pprFixedRuntimeRepContext :: FixedRuntimeRepContext -> SDocghc GHC.Tc.Types.Origin Print the context for a FixedRuntimeRep representation-polymorphism check. Note that this function does not include the specific RuntimeRep which is not fixed. That information is stored in FixedRuntimeRepOrigin and is reported separately.