Skip to content
New issue

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

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

Already on GitHub? # to your account

Refactor the unification code and rejuvenate the unit test infrastructure #15079

Merged
merged 1 commit into from
Jun 24, 2014

Conversation

nikomatsakis
Copy link
Contributor

This is just a cleanup of the code. Doesn't really change anything deep about the way we operate. This is a prelude to implementing a good solution for one-way matching for #5527.

r? @pnkfelix (we were just crawling about this code, after all)

@nikomatsakis
Copy link
Contributor Author

Seems like something broke this. I'll rebase...

@nikomatsakis
Copy link
Contributor Author

...done.

infrastructure that has been accidentally left out of the build
for a rather long time (it was still using `@DVec`!)
@brson
Copy link
Contributor

brson commented Jun 24, 2014

@pnkfelix can you review?

@pnkfelix
Copy link
Member

@brson yes I can, I'll poke at it now

bors added a commit that referenced this pull request Jun 24, 2014
…=pnkfelix

This is just a cleanup of the code. Doesn't really change anything deep about the way we operate. This is a prelude to implementing a good solution for one-way matching for #5527.

r? @pnkfelix (we were just crawling about this code, after all)
@bors bors closed this Jun 24, 2014
@bors bors merged commit 020373f into rust-lang:master Jun 24, 2014
@nikomatsakis nikomatsakis deleted the issue-5527-unify-refactor branch March 30, 2016 16:15
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants