Changeset 58fe85a for src/ResolvExpr/ResolveAssertions.cc
- Timestamp:
- Jan 7, 2021, 3:27:00 PM (3 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 2b4daf2, 64aeca0
- Parents:
- 3c64c668 (diff), eef8dfb (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/ResolveAssertions.cc
r3c64c668 r58fe85a 277 277 const DeclarationWithType * candidate = cdata.id; 278 278 279 // build independent unification context for candidate 279 // ignore deleted candidates. 280 // NOTE: this behavior is different from main resolver. 281 // further investigations might be needed to determine 282 // if we should implement the same rule here 283 // (i.e. error if unique best match is deleted) 284 if (candidate->isDeleted) continue; 285 286 // build independent unification context. for candidate 280 287 AssertionSet have, newNeed; 281 288 TypeEnvironment newEnv{ resn.alt.env }; … … 390 397 391 398 /// Limit to depth of recursion of assertion satisfaction 392 static const int recursionLimit = 4;399 static const int recursionLimit = 7; 393 400 /// Maximum number of simultaneously-deferred assertions to attempt concurrent satisfaction of 394 401 static const int deferLimit = 10;
Note: See TracChangeset
for help on using the changeset viewer.