Hoogle Search
Within LTS Haskell 24.66 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ghc-lib-parser GHC.Tc.Errors.Types TcRnInvalidReturnKind is an error for a data declaration that has a kind signature with an invalid result kind. Example(s): data family Foo :: Constraint Test cases: typecheckshould_failT14048b typecheckshould_failUnliftedNewtypesConstraintFamily typecheckshould_failT12729 typecheckshould_failT15883 typecheckshould_failT16829a typecheckshould_failT16829b typecheckshould_failUnliftedNewtypesNotEnabled typecheckshould_failtcfail079
TcRnInvalidTypeApplication :: Type -> LHsWcType GhcRn -> TcRnMessageghc-lib-parser GHC.Tc.Errors.Types TcRnInvalidTypeApplication is an error that occurs when a visible type application is used with an expression that does not accept "specified" type arguments. Example(s): foo :: forall {a}. a -> a foo x = x bar :: () bar = let x = foo @Int 42 in () Test cases: overloadedrecfldsshould_failoverloadedlabelsfail03 typecheckshould_failExplicitSpecificity1 typecheckshould_failExplicitSpecificity10 typecheckshould_failExplicitSpecificity2 typecheckshould_failT17173 typecheckshould_failVtaFail
TcRnInvalidVisibleKindArgument :: !LHsType GhcRn -> Type -> TcRnMessageghc-lib-parser GHC.Tc.Errors.Types TcRnInvalidVisibleKindArgument is an error for a kind application on a target type that cannot accept it. Example(s): bad :: Int Type bad = 1 type Foo :: forall a {b}. a -> b -> b type Foo x y = y type Bar = Foo Bool @Int True 42 Test cases: indexed-typesshould_failT16356_Fail3 typecheckshould_failExplicitSpecificity7 typecheckshould_failT12045b typecheckshould_failT12045c typecheckshould_failT15592a typecheckshould_failT15816
TcRnInvalidWarningCategory :: WarningCategory -> TcRnMessageghc-lib-parser GHC.Tc.Errors.Types TcRnInvalidWarningCategory is an error that occurs when a warning is declared with a category name that is not the special category "deprecations", and either does not begin with the prefix "x-" indicating a user-defined category, or contains characters not valid in category names. See Note [Warning categories] in GHC.Unit.Module.Warnings Examples(s): module M {-# WARNING in "invalid" Oops #-} where {-# WARNING in "x- spaces not allowed" foo Oops #-} Test cases: warningsshould_failWarningCategoryInvalid
TcRnPatSynInvalidRhs :: Name -> !LPat GhcRn -> [LIdP GhcRn] -> PatSynInvalidRhsReason -> TcRnMessageghc-lib-parser GHC.Tc.Errors.Types TcRnPatSynInvalidRhs is an error group indicating that the pattern on the right hand side of a pattern synonym is invalid. Test cases: unidir, T14112
TcRnPatSynNotBidirectional :: Name -> TcRnMessageghc-lib-parser GHC.Tc.Errors.Types TcRnPatSynNotBidirectional is an error for when a non-bidirectional pattern synonym is used as a constructor. Example(s): pattern Five :: Int pattern Five <- 5 five = Five Test cases: patsynshould_failrecords-no-uni-update patsynshould_failrecords-no-uni-update2
TcRnRoleValidationFailed :: Role -> RoleValidationFailedReason -> TcRnMessageghc-lib-parser GHC.Tc.Errors.Types TcRnRoleValidationFailed is an error indicating that a variable was assigned an invalid role by the inference algorithm. This is only performed with -dcore-lint.
TcRnStupidThetaInGadt :: HsDocContext -> TcRnMessageghc-lib-parser GHC.Tc.Errors.Types TcRnStupidThetaInGadt is an error triggered by data contexts in GADT-style data declaration Example: data (Eq a) => D a where MkD :: D Int Test cases: renameshould_failRnStupidThetaInGadt
TcRnTypeDataForbids :: TypeDataForbids -> TcRnMessageghc-lib-parser GHC.Tc.Errors.Types TcRnTypeDataForbids is an error that occurs when a type data declaration contains data declaration features that are forbidden in a type data declaration. See Note [Type data declarations] Test cases: type-datashould_failTDDeriving type-datashould_failTDRecordsGADT type-datashould_failTDRecordsH98 type-datashould_failTDStrictnessGADT type-datashould_failTDStrictnessH98
-
ghc-lib-parser GHC.Tc.Errors.Types Things forbidden in type data declarations. See Note [Type data declarations]