Hoogle Search
Within LTS Haskell 24.51 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
reportAllUnsolved :: WantedConstraints -> TcM ()ghc GHC.Tc.Errors Report *all* unsolved goals as errors, even if -fdefer-type-errors is on However, do not make any evidence bindings, because we don't have any convenient place to put them. NB: Type-level holes are OK, because there are no bindings. See Note [Deferring coercion errors to runtime] Used by solveEqualities for kind equalities (see Note [Failure in local type signatures] in GHC.Tc.Solver)
warnAllUnsolved :: WantedConstraints -> TcM ()ghc GHC.Tc.Errors Report all unsolved goals as warnings (but without deferring any errors to run-time). See Note [Safe Haskell Overlapping Instances Implementation] in GHC.Tc.Solver
DerivErrDataConsNotAllInScope :: TyCon -> DeriveInstanceErrReasonghc GHC.Tc.Errors.Types No documentation available.
EmptyCaseDisallowedCtxt :: BadEmptyCaseReasonghc GHC.Tc.Errors.Types No documentation available.
EmptyCaseForall :: ForAllTyBinder -> BadEmptyCaseReasonghc GHC.Tc.Errors.Types No documentation available.
EmptyStmtsGroupInParallelComp :: EmptyStatementGroupErrReasonghc GHC.Tc.Errors.Types Empty statement group in a parallel list comprehension
ExtraConstraintWildcardNotAllowed :: SoleExtraConstraintWildcardAllowed -> BadAnonWildcardContextghc GHC.Tc.Errors.Types No documentation available.
IllegalLastStatement :: HsDoFlavour -> !LStmt GhcPs (LHsExpr GhcPs) -> ConversionFailReasonghc GHC.Tc.Errors.Types No documentation available.
InvalidCCallImpent :: String -> ConversionFailReasonghc GHC.Tc.Errors.Types Source
JavaScriptCallConvUnsupported :: UnsupportedCallConventionghc GHC.Tc.Errors.Types No documentation available.