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.
TcRnMultipleConForNewtype :: Name -> Int -> TcRnMessageghc GHC.Tc.Errors.Types TcRnMultipleConForNewtype is an error indicating that a newtype was declared with multiple constructors. This error is caught by the parser.
TcRnNestedForallsContexts :: NestedForallsContextsIn -> TcRnMessageghc 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
TcRnStaticFormNotClosed :: Name -> NotClosedReason -> TcRnMessageghc 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
TcRnTypeDataForbids :: TypeDataForbids -> TcRnMessageghc 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
-
ghc GHC.Tc.Errors.Types Things forbidden in type data declarations. See Note [Type data declarations]
TypeDataForbidsDatatypeContexts :: TypeDataForbidsghc GHC.Tc.Errors.Types No documentation available.
TypeDataForbidsDerivingClauses :: TypeDataForbidsghc GHC.Tc.Errors.Types No documentation available.
TypeDataForbidsLabelledFields :: TypeDataForbidsghc GHC.Tc.Errors.Types No documentation available.
TypeDataForbidsStrictnessAnnotations :: TypeDataForbidsghc GHC.Tc.Errors.Types No documentation available.
UnexpectedNestedForall :: IllegalForeignTypeReasonghc GHC.Tc.Errors.Types No documentation available.