Skip to content
Snippets Groups Projects
Commit c6432eac authored by Apoorv Ingle's avatar Apoorv Ingle Committed by sheaf
Browse files

Constraint simplification loop now depends on `ExpansionFuel` 

instead of a boolean flag for `CDictCan.cc_pend_sc`.
Pending givens get a fuel of 3 while Wanted and quantified constraints get a fuel of 1.
This helps pending given constraints to keep up with pending wanted constraints in case of
`UndecidableSuperClasses` and superclass expansions while simplifying the infered type.

Adds 3 dynamic flags for controlling the fuels for each type of constraints
`-fgivens-expansion-fuel` for givens `-fwanteds-expansion-fuel` for wanteds and `-fqcs-expansion-fuel` for quantified constraints

Fixes #21909
Added Tests T21909, T21909b
Added Note [Expanding Recursive Superclasses and ExpansionFuel]
parent cad5c576
No related branches found
No related tags found
1 merge request!9923Expansion fuel for pending wanted and pending given constraints
Pipeline #64090 canceled
Stage: tool-lint
    Stage: quick-build
      Stage: full-build
        Stage: packaging
          Stage: testing
            Stage: deploy
              Hide whitespace changes
              Inline Side-by-side
              Showing
              with 331 additions and 98 deletions
              0% or .
              You are about to add 0 people to the discussion. Proceed with caution.
              Finish editing this message first!
              Please register or to comment