Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. IllegalStaticFormInSplice :: !HsExpr GhcPs -> THError

   ghc	GHC.Tc.Errors.Types

   IllegalStaticFormInSplice is an error when a user attempts to define a static pointer in a Template Haskell splice. Example(s): Test cases: th/TH_StaticPointers02

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

   ghc	GHC.Tc.Errors.Types

   No documentation available.

3. data NestedForallsContextsIn

   ghc	GHC.Tc.Errors.Types

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

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

   ghc	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

5. TcRnDifferentNamesForTyVar :: Name -> Name -> TcRnMessage

   ghc	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

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

   ghc	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

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

   ghc	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

8. TcRnForeignFunctionImportAsValue :: ForeignImport GhcRn -> TcRnMessage

   ghc	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

9. TcRnForeignImportPrimExtNotSet :: ForeignImport GhcRn -> TcRnMessage

   ghc	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

10. TcRnForeignImportPrimSafeAnn :: ForeignImport GhcRn -> TcRnMessage

    ghc	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

Page 485 of many | Previous | Next