Opened 4 years ago

Closed 4 years ago

#212 closed defect (fixed)

Revert InferUnion change in new-ast

Reported by: f37yu Owned by:
Priority: major Component: cfa-cc
Version: 1.0 Keywords:

Description (last modified by f37yu)

The partially unresolved inferred parameters are actually useful as suggested by test results. In new-ast an optimization caused this to be no longer possible.
The previous change silenced errors in this case and dropped all unresolved inferred parameters, assuming those alternatives are always eliminated. Unfortunately, this does not always happen, so the memory optimization makes resolver incorrect.

Affected code:
ResolvExpr::InferMatcher? at SatisfyAssertions?.cpp:226
Expr::InferUnion? at Expr.hpp:68
Old implementation:
ResolvExpr::InferMatcher? at ResolveAssertions?.cc:327

Change History (2)

comment:1 Changed 4 years ago by f37yu

Description: modified (diff)

comment:2 Changed 4 years ago by f37yu

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.