Hoogle Search
Within LTS Haskell 24.41 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
TcRnIdNotExportedFromLocalSig :: Name -> TcRnMessageghc GHC.Tc.Errors.Types TcRnIdNotExportedFromLocalSig is an error pertaining to backpack that occurs when an identifier which is necessary for implementing a module signature is not exported from that signature. Example(s): None Test cases: backpackshould_failbkpfail30 backpackshould_failbkpfail31 backpackshould_failbkpfail34
TcRnIdNotExportedFromModuleSig :: Name -> Module -> TcRnMessageghc GHC.Tc.Errors.Types TcRnIdNotExportedFromModuleSig is an error pertaining to backpack that occurs when an identifier required by a signature is not exported by the module or signature that is being used as a substitution for that signature. Example(s): None Test cases: backpackshould_failbkpfail36
TcRnInvalidCIdentifier :: CLabelString -> TcRnMessageghc GHC.Tc.Errors.Types TcRnInvalidCIdentifier indicates a C identifier that is not valid. Example(s): foreign import prim safe "not valid" cmm_test2 :: Int# -> Int# Test cases: th/T10638
TcRnInvalidDefaultedTyVar :: [Ct] -> [(TcTyVar, Type)] -> NonEmpty TcTyVar -> TcRnMessageghc GHC.Tc.Errors.Types TcRnInvalidDefaultedTyVar is an error raised when a defaulting plugin proposes to default a type variable that is not an unfilled metavariable Test cases: T23832_invalid
TcRnInvalidInvisTyVarBndr :: Name -> !LHsTyVarBndr (HsBndrVis GhcRn) GhcRn -> TcRnMessageghc GHC.Tc.Errors.Types TcRnInvalidInvisTyVarBndr is an error that occurs when an invisible type variable binder has no corresponding forall k. quantifier in the standalone kind signature. Example: type P :: forall a -> Type data P @a = MkP Test cases: T22560_fail_a T22560_fail_b
TcRnInvalidRecordField :: Name -> FieldLabelString -> TcRnMessageghc GHC.Tc.Errors.Types TcRnInvalidRecordField is an error indicating that a record field was used that doesn't exist in a constructor. Test cases: T13644, T13847, T17469, T8448, T8570, tcfail083, tcfail084
-
ghc 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 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 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 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