Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. TcRnIllegalForeignDeclBackend :: Either (ForeignExport GhcRn) (ForeignImport GhcRn) -> Backend -> ExpectedBackends -> TcRnMessage

   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

2. TcRnIllegalForeignType :: !Maybe ArgOrResult -> IllegalForeignTypeReason -> TcRnMessage

   ghc	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

3. TcRnIllformedTypeArgument :: !LHsExpr GhcRn -> TcRnMessage

   ghc	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

4. TcRnIllformedTypePattern :: !Pat GhcRn -> TcRnMessage

   ghc	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

5. TcRnInvisPatWithNoForAll :: HsTyPat GhcRn -> TcRnMessage

   ghc	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

6. TcRnMultipleConForNewtype :: Name -> Int -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnMultipleConForNewtype is an error indicating that a newtype was declared with multiple constructors. This error is caught by the parser.

7. TcRnNestedForallsContexts :: NestedForallsContextsIn -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnNestedForallsContexts is an error indicating that multiple foralls or contexts are nested/curried where this is not supported, like ∀ x. ∀ y. instead of ∀ x y.. Test cases: T12087, T14320, T16114, T16394, T16427, T18191, T18240a, T18240b, T18455, T5951

8. TcRnStaticFormNotClosed :: Name -> NotClosedReason -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnStaticFormNotClosed is an error pertaining to terms that are marked static using the -XStaticPointers extension but which are not closed terms. Example(s): f x = static x Test cases: renameshould_failRnStaticPointersFail01 renameshould_failRnStaticPointersFail03

9. TcRnTypeDataForbids :: TypeDataForbids -> TcRnMessage

   ghc	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

10. data TypeDataForbids

    ghc	GHC.Tc.Errors.Types

    Things forbidden in type data declarations. See Note [Type data declarations]

Page 486 of many | Previous | Next