Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. TcRnPatSynInvalidRhs :: Name -> !LPat GhcRn -> [LIdP GhcRn] -> PatSynInvalidRhsReason -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnPatSynInvalidRhs is an error group indicating that the pattern on the right hand side of a pattern synonym is invalid. Test cases: unidir, T14112

2. TcRnPatSynNotBidirectional :: Name -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnPatSynNotBidirectional is an error for when a non-bidirectional pattern synonym is used as a constructor. Example(s): pattern Five :: Int pattern Five <- 5 five = Five Test cases: patsynshould_failrecords-no-uni-update patsynshould_failrecords-no-uni-update2

3. TcRnRoleValidationFailed :: Role -> RoleValidationFailedReason -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnRoleValidationFailed is an error indicating that a variable was assigned an invalid role by the inference algorithm. This is only performed with -dcore-lint.

4. TcRnStupidThetaInGadt :: HsDocContext -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnStupidThetaInGadt is an error triggered by data contexts in GADT-style data declaration Example: data (Eq a) => D a where MkD :: D Int Test cases: renameshould_failRnStupidThetaInGadt

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

6. data TypeDataForbids

   ghc	GHC.Tc.Errors.Types

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

7. TypeDataForbidsDatatypeContexts :: TypeDataForbids

   ghc	GHC.Tc.Errors.Types

   No documentation available.

8. TypeDataForbidsDerivingClauses :: TypeDataForbids

   ghc	GHC.Tc.Errors.Types

   No documentation available.

9. TypeDataForbidsLabelledFields :: TypeDataForbids

   ghc	GHC.Tc.Errors.Types

   No documentation available.

10. TypeDataForbidsStrictnessAnnotations :: TypeDataForbids

    ghc	GHC.Tc.Errors.Types

    No documentation available.

Page 551 of many | Previous | Next