Skip to content

Conversation

DougGregor
Copy link
Member

Part 1/N for refactoring the constraint system to not depend so much on the idea that one constraint system == one expression.

@DougGregor DougGregor requested review from xedin and hborla November 9, 2019 00:35
@DougGregor
Copy link
Member Author

@swift-ci please smoke test

3 similar comments
@DougGregor
Copy link
Member Author

@swift-ci please smoke test

@DougGregor
Copy link
Member Author

@swift-ci please smoke test

@DougGregor
Copy link
Member Author

@swift-ci please smoke test

solve() is a bit too overloaded, so rename the version that does the
core "evaluate all of the steps to produce a set of solutions"
functionality to solveImpl().
…ostics.

We're still using the root expression to find the parent map, but we're not
falling back to it indiscriminately. Use the parent of the anchor (or
appropriate substitute) instead so we have a better handle on which
expression we're diagnosing for.
@DougGregor DougGregor force-pushed the constraint-system-decouple-expr branch from 42fd575 to bc926f7 Compare November 9, 2019 06:40
Copy link
Contributor

@xedin xedin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great! Thank you for improving this.

@DougGregor
Copy link
Member Author

@swift-ci please smoke test

@DougGregor DougGregor merged commit 24fc36d into swiftlang:master Nov 9, 2019
@DougGregor DougGregor deleted the constraint-system-decouple-expr branch November 9, 2019 15:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants