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.

Exact lookup

1. 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

2. 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

3. 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.

4. 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

5. 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

6. 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

7. data TypeDataForbids

   ghc	GHC.Tc.Errors.Types

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

8. TypeDataForbidsDatatypeContexts :: TypeDataForbids

   ghc	GHC.Tc.Errors.Types

   No documentation available.

9. TypeDataForbidsDerivingClauses :: TypeDataForbids

   ghc	GHC.Tc.Errors.Types

   No documentation available.

10. TypeDataForbidsLabelledFields :: TypeDataForbids

    ghc	GHC.Tc.Errors.Types

    No documentation available.

Page 487 of many | Previous | Next