Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. FixedRuntimeRepPatSynSigRes :: FixedRuntimeRepProvenance

   ghc	GHC.Tc.Errors.Types

   Pattern synonym signature scrutinee must have a fixed runtime representation. Test: RepPolyPatSynRes.

2. data FixedRuntimeRepProvenance

   ghc	GHC.Tc.Errors.Types

   In what context did we require a type to have a fixed runtime representation? Used by checkTypeHasFixedRuntimeRep for throwing representation polymorphism errors when validity checking. See Note [Representation polymorphism checking] in GHC.Tc.Utils.Concrete

3. MismatchedDataConFixities :: BootDataConMismatch

   ghc	GHC.Tc.Errors.Types

   The fixities of the DataCons differ.

4. NonVarInInfixExpr :: ConversionFailReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

5. TcRnHsigFixityMismatch :: TyThing -> Fixity -> Fixity -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnHsigFixityMismatch is an error indicating that the fixity decl in a Backpack signature file differs from the one in the source file for the same operator. Test cases: bkpfail37, bkpfail38

6. TcRnMultipleFixityDecls :: SrcSpan -> RdrName -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnMultipleFixityDecls is an error triggered by multiple fixity declarations for the same operator. Example(s): infixr 6 $$ infixl 4 $$ Test cases: renameshould_failRnMultipleFixityFail

7. TcRnNamespacedFixitySigWithoutFlag :: FixitySig GhcPs -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnNamespacedFixitySigWithoutFlag is an error that occurs when a namespace specifier is used in fixity signatures without the -XExplicitNamespaces extension enabled Example: {-# LANGUAGE NoExplicitNamespaces #-} f = const infixl 7 data f Test cases: T14032c

8. TcRnTypeDoesNotHaveFixedRuntimeRep :: Type -> FixedRuntimeRepProvenance -> ErrInfo -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   A type which was expected to have a fixed runtime representation does not have a fixed runtime representation. Example: data D (a :: TYPE r) = MkD a Test cases: T11724, T18534, RepPolyPatSynArg, RepPolyPatSynUnliftedNewtype, RepPolyPatSynRes, T20423

9. pprFixedRuntimeRepProvenance :: FixedRuntimeRepProvenance -> SDoc

   ghc	GHC.Tc.Errors.Types

   No documentation available.

10. instFlexiX :: Subst -> [TKVar] -> TcS Subst

    ghc	GHC.Tc.Solver.Monad

    No documentation available.

Page 84 of many | Previous | Next