Hoogle Search
Within LTS Haskell 24.45 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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
TcRnForAllEscapeError :: Type -> Kind -> TcRnMessageghc GHC.Tc.Errors.Types TcRnForAllEscapeError is an error that occurs whenever a quantified type's kind mentions quantified type variable. Examples(s): type T :: TYPE (BoxedRep l) data T = MkT Test cases: unlifted-datatypesshould_failUnlDataNullaryPoly
TcRnForAllRankErr :: Rank -> Type -> TcRnMessageghc GHC.Tc.Errors.Types TcRnForAllRankErr is an error that occurs whenever an illegal ranked type is specified. Examples(s): foo :: (a,b) -> (a~b => t) -> (a,b) foo p x = p Test cases: - ghcishould_runT15806 - indexed-typesshould_failSimpleFail15 - typecheckshould_failT11355 - typecheckshould_failT12083a - typecheckshould_failT12083b - typecheckshould_failT16059c - typecheckshould_failT16059e - typecheckshould_failT17213 - typecheckshould_failT18939_Fail - typecheckshould_failT2538 - typecheckshould_failT5957 - typecheckshould_failT7019 - typecheckshould_failT7019a - typecheckshould_failT7809 - typecheckshould_failT9196 - typecheckshould_failtcfail127 - typecheckshould_failtcfail184 - typecheckshould_failtcfail196 - typecheckshould_failtcfail197
TcRnForeignFunctionImportAsValue :: ForeignImport GhcRn -> TcRnMessageghc GHC.Tc.Errors.Types TcRnForeignFunctionImportAsValue is an error explaining that foreign value imports cannot have function types. Example(s): foreign import capi "math.h value sqrt" f :: CInt -> CInt Test cases: ffishould_failcapi_value_function
TcRnForeignImportPrimExtNotSet :: ForeignImport GhcRn -> TcRnMessageghc GHC.Tc.Errors.Types TcRnForeignImportPrimExtNotSet is an error occurring when a foreign import is declared using the prim calling convention without having turned on the -XGHCForeignImportPrim extension. Example(s): foreign import prim "foo" foo :: ByteArray# -> (# Int#, Int# #) Test cases: ffishould_failT20116
TcRnForeignImportPrimSafeAnn :: ForeignImport GhcRn -> TcRnMessageghc GHC.Tc.Errors.Types TcRnForeignImportPrimSafeAnn is an error declaring that the safe/unsafe annotation should not be used with prim foreign imports. Example(s): foreign import prim unsafe "my_primop_cmm" :: ... Test cases: None
-
ghc GHC.Tc.Errors.Types TcRnIllegalForeignDeclBackend is an error occurring when a foreign import declaration is not compatible with the code generation backend being used. Example(s): None Test cases: None
TcRnIllegalForeignType :: !Maybe ArgOrResult -> IllegalForeignTypeReason -> TcRnMessageghc GHC.Tc.Errors.Types TcRnIllegalForeignType is an error for when a type appears in a foreign function signature that is not compatible with the FFI. Example(s): None Test cases: ffishould_failT3066 ffishould_failccfail004 ffishould_failT10461 ffishould_failT7506 ffishould_failT5664 safeHaskellghcip6 safeHaskellsafeLanguageSafeLang08 ffishould_failT16702 linearshould_failLinearFFI ffishould_failT7243
TcRnIllformedTypeArgument :: !LHsExpr GhcRn -> TcRnMessageghc GHC.Tc.Errors.Types TcRnIllformedTypeArgument is an error raised when an argument that specifies a required type argument (instantiates a visible forall) does not have a form that can be interpreted as a type argument. Example: vfun :: forall (a :: k) -> () x = vfun (_ -> _) -- ^^^^^^^^^ -- lambdas not allowed in type arguments Test cases: T22326_fail_lam_arg