ghc-lib-parser-9.8.2.20240223: The GHC API, decoupled from GHC versions
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Settings.Constants

Description

Compile-time settings

Synopsis

Documentation

mAX_REDUCTION_DEPTH :: Int Source #

Default maximum depth for both class instance search and type family reduction. See also #5395.

mAX_SOLVER_ITERATIONS :: Int Source #

Default maximum constraint-solver iterations Typically there should be very few

mAX_QC_FUEL :: Int Source #

In case of loopy quantified costraints constraints, how many times should we allow superclass expansions Should be less than mAX_SOLVER_ITERATIONS See Note [Expanding Recursive Superclasses and ExpansionFuel]

mAX_WANTEDS_FUEL :: Int Source #

In case of loopy wanted constraints, how many times should we allow superclass expansions Should be less than mAX_GIVENS_FUEL See Note [Expanding Recursive Superclasses and ExpansionFuel]

mAX_GIVENS_FUEL :: Int Source #

In case of loopy given constraints, how many times should we allow superclass expansions Should be less than max_SOLVER_ITERATIONS See Note [Expanding Recursive Superclasses and ExpansionFuel]