summary refs log tree commit diff
path: root/src/rustc/middle/infer.rs
AgeCommit message (Expand)AuthorLines
2012-03-28rustc: Universally quantify regions when calling functions. Un-XFAIL regions-...Patrick Walton-1/+1
2012-03-26Bulk-edit mutable -> mut.Graydon Hoare-8/+8
2012-03-26rustc: Combine and unify regionsPatrick Walton-37/+52
2012-03-26rustc: Fix typo in inferPatrick Walton-1/+1
2012-03-26rustc: Remove obsolete FIXME in inferPatrick Walton-3/+0
2012-03-26rustc: Generalize resolve_var to work with regions tooPatrick Walton-15/+12
2012-03-26Improve type inference to compute LUB/GLBNiko Matsakis-134/+729
2012-03-26Disallow ret inside of block functionsMarijn Haverbeke-2/+2
2012-03-25repair the build---also, make try/commit work over both ty/region varsNiko Matsakis-17/+34
2012-03-24rustc: Generalize several parts of infer in preparation for using them for re...Patrick Walton-94/+97
2012-03-24Avoid unifying vars when possible; handle bot (more) correctlyNiko Matsakis-10/+29
2012-03-24rustc: Stub some region resolution stuff in inferPatrick Walton-3/+103
2012-03-24rustc: Add some simple region checking (no region vars yet)Patrick Walton-4/+36
2012-03-23add a few measly comments, remove some dead codeNiko Matsakis-15/+18
2012-03-23xfail-test regions testsNiko Matsakis-21/+3
2012-03-23Implement new inference algorithm.Niko Matsakis-0/+668