ghc-9.10.1: The GHC API
Safe HaskellNone
LanguageGHC2021

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 constraints 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]