Skip to content
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

Fix fixed-point iteration in type unification #227

Closed
pcwalton opened this issue Feb 18, 2011 · 2 comments
Closed

Fix fixed-point iteration in type unification #227

pcwalton opened this issue Feb 18, 2011 · 2 comments
Labels
A-typesystem Area: The type system

Comments

@pcwalton
Copy link
Contributor

Can infinite loop.
@pcwalton
Copy link
Contributor Author

Implement Robinson's algorithm for type unification. Closed by 3aba50f.

@pcwalton
Copy link
Contributor Author

graydon@3aba50f

oli-obk pushed a commit to oli-obk/rust that referenced this issue Jul 19, 2017
@RalfJung
Fix transmute on ByValPair
0301667 
Fixes rust-lang#227
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
@bors
Auto merge of rust-lang#227 - kamalmarhubi:clone-flags, r=alexcrichton
722fedd 
linux: Move namespace clone flags up one level

The flags are available in Android, and should be defined higher up.
kazcw pushed a commit to kazcw/rust that referenced this issue Oct 23, 2018
@gwenn @alexcrichton
avx: _mm256_stream_si256, _mm256_stream_pd, _mm256_stream_ps (rust-la…
8abb73c 
…ng#227)
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
@wsmoses
Fix noundef and other errors (rust-lang#227)
a75e86a 
* Fix noundef and other errors

* Fix lookup

* Only run gmm on LLVM's without tbaa bug
matthiaskrgr pushed a commit to matthiaskrgr/rust that referenced this issue Mar 7, 2023
@antoyo
Merge pull request rust-lang#227 from rust-lang/fix/warnings
86a3e3b 
Fix warnings
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-typesystem Area: The type system
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@pcwalton