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.
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
TcRnIllformedTypePattern :: !Pat GhcRn -> TcRnMessageghc GHC.Tc.Errors.Types TcRnIllformedTypePattern is an error raised when the pattern corresponding to a required type argument (visible forall) does not have a form that can be interpreted as a type pattern. Example: vfun :: forall (a :: k) -> () vfun !x = () -- ^^ -- bang-patterns not allowed as type patterns Test cases: T22326_fail_bang_pat
TcRnInvisPatWithNoForAll :: HsTyPat GhcRn -> TcRnMessageghc GHC.Tc.Errors.Types TcRnInvisPatWithNoForAll is an error raised when invisible type pattern is used without associated `forall` in types Examples: f :: Int f @t = 5 g :: [a -> a] g = [ @t x -> x :: t] Test cases: T17694c T17594d