Skip to content

[Constraint solver] Remove type match kind #5442

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 2 commits into from
Oct 25, 2016
Merged

[Constraint solver] Remove type match kind #5442

merged 2 commits into from
Oct 25, 2016

Conversation

@DougGregor
Copy link
Member

@DougGregor DougGregor commented Oct 25, 2016

Remove TypeMatchKind, using ConstraintKind instead. NFC

@DougGregor
[Constraint solver] Add ConstraintKind::BindToPointerType.
a65812c 
This matches up with TypeMatchKind::BindToPointerType.
@DougGregor
[Constraint solver] Eliminate TypeMatchKind. NFC
b484cbb 
It's no more than a subset of ConstraintKind with a bunch of
boilerplate to convert back and forth. Just use ConstraintKind.
@DougGregor
Copy link
Member Author

DougGregor commented Oct 25, 2016

@swift-ci please smoke test and merge

@swift-ci swift-ci merged commit db7a047 into swiftlang:master Oct 25, 2016
@DougGregor DougGregor deleted the remove-type-match-kind branch October 25, 2016 14:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@DougGregor @swift-ci