Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

1. TcRnExpectedValueId :: TcTyThing -> TcRnMessage

   ghc-lib-parser	GHC.Tc.Errors.Types

   TcRnExpectedValueId is an error occurring when something that is not a value identifier is used where one is expected. Example(s): none Test cases: none

2. TcRnExportHiddenComponents :: IE GhcPs -> TcRnMessage

   ghc-lib-parser	GHC.Tc.Errors.Types

   TcRnExportHiddenComponents is an error that occurs when an export contains constructor or class methods that are not visible. Example(s): None Test cases: None

3. TcRnExportHiddenDefault :: IE GhcPs -> TcRnMessage

   ghc-lib-parser	GHC.Tc.Errors.Types

   TcRnExportHiddenDefault is an error that occurs when an export contains a class default (with language extension NamedDefaults) that is not visible. Example(s): None Test cases: default/fail06.hs

4. TcRnFieldUpdateInvalidType :: [(FieldLabelString, TcType)] -> TcRnMessage

   ghc-lib-parser	GHC.Tc.Errors.Types

   TcRnFieldUpdateInvalidType is an error occurring when an updated field's type mentions something that is outside the universally quantified variables of the data constructor, such as an existentially quantified type. Example(s): data X = forall a. MkX { f :: a } x = (MkX ()) { f = False } Test cases: patsynshould_failrecords-exquant typecheckshould_failT3323

5. TcRnIdNotExportedFromLocalSig :: Name -> TcRnMessage

   ghc-lib-parser	GHC.Tc.Errors.Types

   TcRnIdNotExportedFromLocalSig is an error pertaining to backpack that occurs when an identifier which is necessary for implementing a module signature is not exported from that signature. Example(s): None Test cases: backpackshould_failbkpfail30 backpackshould_failbkpfail31 backpackshould_failbkpfail34

6. TcRnIdNotExportedFromModuleSig :: Name -> Module -> TcRnMessage

   ghc-lib-parser	GHC.Tc.Errors.Types

   TcRnIdNotExportedFromModuleSig is an error pertaining to backpack that occurs when an identifier required by a signature is not exported by the module or signature that is being used as a substitution for that signature. Example(s): None Test cases: backpackshould_failbkpfail36

7. TcRnInvalidCIdentifier :: CLabelString -> TcRnMessage

   ghc-lib-parser	GHC.Tc.Errors.Types

   TcRnInvalidCIdentifier indicates a C identifier that is not valid. Example(s): foreign import prim safe "not valid" cmm_test2 :: Int# -> Int# Test cases: th/T10638

8. TcRnInvalidDefaultedTyVar :: [Ct] -> [(TcTyVar, Type)] -> NonEmpty TcTyVar -> TcRnMessage

   ghc-lib-parser	GHC.Tc.Errors.Types

   TcRnInvalidDefaultedTyVar is an error raised when a defaulting plugin proposes to default a type variable that is not an unfilled metavariable Test cases: T23832_invalid

9. TcRnInvalidInvisTyVarBndr :: Name -> !LHsTyVarBndr (HsBndrVis GhcRn) GhcRn -> TcRnMessage

   ghc-lib-parser	GHC.Tc.Errors.Types

   TcRnInvalidInvisTyVarBndr is an error that occurs when an invisible type variable binder has no corresponding forall k. quantifier in the standalone kind signature. Example: type P :: forall a -> Type data P @a = MkP Test cases: T22560_fail_a T22560_fail_b

10. TcRnInvalidRecordField :: Name -> FieldLabelString -> TcRnMessage

    ghc-lib-parser	GHC.Tc.Errors.Types

    TcRnInvalidRecordField is an error indicating that a record field was used that doesn't exist in a constructor. Test cases: T13644, T13847, T17469, T8448, T8570, tcfail083, tcfail084

Page 1028 of many | Previous | Next