Hoogle Search
Within LTS Haskell 24.38 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
BootForeignDecls :: !NonEmpty (LForeignDecl GhcRn) -> BadBootDeclsghc GHC.Tc.Errors.Types No documentation available.
DerivErrDunnoHowToDeriveForType :: Type -> DeriveInstanceErrReasonghc GHC.Tc.Errors.Types GHC simply doesn't how to how derive the input Class for the given Type.
EmptyCaseForall :: ForAllTyBinder -> BadEmptyCaseReasonghc GHC.Tc.Errors.Types No documentation available.
EmptyStmtsGroupInTransformListComp :: EmptyStatementGroupErrReasonghc GHC.Tc.Errors.Types Empty statement group in a transform list comprehension Example: [() | then ()]
-
ghc GHC.Tc.Errors.Types No documentation available.
IllegalStaticFormInSplice :: !HsExpr GhcPs -> THErrorghc GHC.Tc.Errors.Types IllegalStaticFormInSplice is an error when a user attempts to define a static pointer in a Template Haskell splice. Example(s): Test cases: th/TH_StaticPointers02
MalformedType :: TypeOrKind -> Type -> ConversionFailReasonghc GHC.Tc.Errors.Types No documentation available.
-
ghc GHC.Tc.Errors.Types Different places in which a nested foralls/contexts error might occur.
TcRnDefaultMethodForPragmaLacksBinding :: Id -> Sig GhcRn -> TcRnMessageghc GHC.Tc.Errors.Types TcRnDefaultMethodForPragmaLacksBinding is an error that occurs when a default method pragma is missing an accompanying binding. Test cases: typecheckshould_failT5084.hs typecheckshould_failT2354.hs
TcRnDifferentNamesForTyVar :: Name -> Name -> TcRnMessageghc GHC.Tc.Errors.Types TcRnDifferentNamesForTyVar is an error that indicates different names being used for the same type variable. Example(s): data SameKind :: k -> k -> * data Q (a :: k1) (b :: k2) c = MkQ (SameKind a b) Test cases: polykinds/T11203 polykinds/T11821a saksshould_failT20916 typecheckshould_failT17566b typecheckshould_failT17566c