Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. MalformedType :: TypeOrKind -> Type -> ConversionFailReason

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

   No documentation available.

2. data NestedForallsContextsIn

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

   Different places in which a nested foralls/contexts error might occur.

3. TcRnDefaultMethodForPragmaLacksBinding :: Id -> Sig GhcRn -> TcRnMessage

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

   TcRnDefaultMethodForPragmaLacksBinding is an error that occurs when a default method pragma is missing an accompanying binding. Test cases: typecheckshould_failT5084.hs typecheckshould_failT2354.hs

4. TcRnDifferentNamesForTyVar :: Name -> Name -> TcRnMessage

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

   TcRnDifferentNamesForTyVar is an error that indicates different names being used for the same type variable. Example(s): data SameKind :: k -> k -> * data Q (a :: k1) (b :: k2) c = MkQ (SameKind a b) Test cases: polykinds/T11203 polykinds/T11821a saksshould_failT20916 typecheckshould_failT17566b typecheckshould_failT17566c

5. TcRnForAllEscapeError :: Type -> Kind -> TcRnMessage

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

   TcRnForAllEscapeError is an error that occurs whenever a quantified type's kind mentions quantified type variable. Examples(s): type T :: TYPE (BoxedRep l) data T = MkT Test cases: unlifted-datatypesshould_failUnlDataNullaryPoly

6. TcRnForAllRankErr :: Rank -> Type -> TcRnMessage

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

   TcRnForAllRankErr is an error that occurs whenever an illegal ranked type is specified. Examples(s): foo :: (a,b) -> (a~b => t) -> (a,b) foo p x = p Test cases: - ghcishould_runT15806 - indexed-typesshould_failSimpleFail15 - typecheckshould_failT11355 - typecheckshould_failT12083a - typecheckshould_failT12083b - typecheckshould_failT16059c - typecheckshould_failT16059e - typecheckshould_failT17213 - typecheckshould_failT18939_Fail - typecheckshould_failT2538 - typecheckshould_failT5957 - typecheckshould_failT7019 - typecheckshould_failT7019a - typecheckshould_failT7809 - typecheckshould_failT9196 - typecheckshould_failtcfail127 - typecheckshould_failtcfail184 - typecheckshould_failtcfail196 - typecheckshould_failtcfail197

7. TcRnForeignFunctionImportAsValue :: ForeignImport GhcRn -> TcRnMessage

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

   TcRnForeignFunctionImportAsValue is an error explaining that foreign value imports cannot have function types. Example(s): foreign import capi "math.h value sqrt" f :: CInt -> CInt Test cases: ffishould_failcapi_value_function

8. TcRnForeignImportPrimExtNotSet :: ForeignImport GhcRn -> TcRnMessage

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

   TcRnForeignImportPrimExtNotSet is an error occurring when a foreign import is declared using the prim calling convention without having turned on the -XGHCForeignImportPrim extension. Example(s): foreign import prim "foo" foo :: ByteArray# -> (# Int#, Int# #) Test cases: ffishould_failT20116

9. TcRnForeignImportPrimSafeAnn :: ForeignImport GhcRn -> TcRnMessage

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

   TcRnForeignImportPrimSafeAnn is an error declaring that the safe/unsafe annotation should not be used with prim foreign imports. Example(s): foreign import prim unsafe "my_primop_cmm" :: ... Test cases: None

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

    ghc-lib-parser	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

Page 703 of many | Previous | Next