about summary refs log tree commit diff
path: root/src/rustc/middle/borrowck
AgeCommit message (Collapse)AuthorLines
2012-11-07Rename src/rustc to src/librustc. Use the driver crateBrian Anderson-1755/+0
2012-11-06Cleanup how we handle proto in types, remove unsound subtypingNiko Matsakis-2/+8
Fixes #1896 which was never truly fixed, just masked. The given tests would have failed had they used `~fn()` and not `@fn()`. They now result in compilation errors. Fixes #2978. Necessary first step for #2202, #2263.
2012-11-02rustc: Implement translation of pattern matching for tuple structs and ↵Patrick Walton-3/+4
unit-like structs. r=nmatsakis
2012-11-02rustc: Implement typechecking, exhaustiveness checking, and borrow checking ↵Patrick Walton-2/+4
for pattern matching of tuple structs. r=nmatsakis Conflicts: src/rustc/middle/typeck/check/alt.rs
2012-10-23Remove <- operator from the compilerTim Chevalier-10/+0
Yield an obsolete syntax error on things like "let foo <- bar;" and "foo <- bar;" r=brson Progress on #3466
2012-10-21Correct propagation of mutability from components to base in borrowckNiko Matsakis-9/+61
Fixes #3828.
2012-10-15rustc: Merge module and type namespaces. r=brsonPatrick Walton-8/+8
2012-10-15Check whether loans conflict with old loans or with themselves.Niko Matsakis-92/+133
Along the way, convert from dvec-of-dvec representation to track loans in scope to just a single flattened list. It's more convenient. Fixes #3765. r+ pcwalton.
2012-10-12remove ctor from ast (take 2) (no review: just dead code removal)Niko Matsakis-46/+24
2012-10-12Replace several common macros of the form #m[...] with m!(...)Kevin Cantu-6/+6
This commit replaces nearly all remaining uses of #fmt, #debug, #error, and #info, and fixes some error messages...
2012-10-11Remove obsolete FIXMETim Chevalier-6/+1
2012-10-08Revert "remove ctor from ast"Tim Chevalier-24/+46
This reverts commit ed3689d57c988e1dd477930d957c4308c37d1a64.
2012-10-08remove ctor from astNiko Matsakis-46/+24
2012-10-05Remove by-mutable-ref mode from the compilerTim Chevalier-5/+1
and test cases. Closes #3513
2012-10-05Remove uses of mutable ref mode.Tim Chevalier-4/+4
It's still in the compiler right now, but warned about
2012-10-05Revert "wip"Tim Chevalier-5/+10
This reverts commit ca49fd402af8e7bf613c43e996274b5a017958d2.
2012-10-05wipTim Chevalier-10/+5
2012-09-28rename iter2 to each2, make it follow iterator protocolNiko Matsakis-2/+2
2012-09-28demode vecNiko Matsakis-3/+3
2012-09-26core: Replace map/map_default with map_ref/map_default_refBrian Anderson-1/+1
2012-09-25Demode iter-traitTim Chevalier-2/+2
2012-09-23Register snapshots. Remove redundant Eq impls, Makefile hacksBrian Anderson-31/+0
2012-09-20rustc: De-mode all overloaded operatorsPatrick Walton-0/+31
2012-09-19demode the each() method on vec and other iterables.Niko Matsakis-10/+10
2012-09-19Remove redundant hashmap constructor functions.Graydon Hoare-3/+3
2012-09-18libsyntax: Remove 'unchecked_blk' from ASTBrian Anderson-3/+0
2012-09-15regionck: fix bug where autoref regions are not inferred to be large enoughNiko Matsakis-30/+46
2012-09-12fixup mutability of vec::each, make iter_bytes pureNiko Matsakis-1/+1
also, change DVec() to work with imm vectors rather than mut ones
2012-09-11Introduce auto adjustment table to subsume autoderef/autoref/borrowings.Niko Matsakis-106/+94
Fixes #3261 Fixes #3443
2012-09-11Promote 'struct' from a restricted keyword to a strict keywordBrian Anderson-1/+1
2012-09-10Convert std::map to camel caseBrian Anderson-1/+1
2012-09-10rustc: Make shape-based compare glue never called for comparison operators.Patrick Walton-0/+7
Only called for string patterns.
2012-09-07Convert 'again' to 'loop'. Remove 'again' keywordBrian Anderson-1/+1
2012-09-07rustc: Add an "ne" method to the Eq trait, and implement it everywherePatrick Walton-0/+1
2012-09-07Refactor fn_ty, working towards #3320Niko Matsakis-2/+2
2012-09-06Refactor trans to replace lvalue and friends with Datum.Niko Matsakis-11/+35
Also: - report illegal move/ref combos whether or not ref comes first - commented out fix for #3387, too restrictive and causes an ICE
2012-09-04Remove 'with'Brian Anderson-6/+6
2012-09-04rustc: "import" -> "use"Patrick Walton-5/+5
2012-08-29rustc: Make `<` and `=` into traitsPatrick Walton-0/+19
2012-08-27Camel case various core constructorsBrian Anderson-2/+2
2012-08-27Convert core::result to camel caseBrian Anderson-34/+34
2012-08-27rustc: more pattern cleanupErick Tryzelaar-5/+5
2012-08-26Camel case the option typeBrian Anderson-42/+42
2012-08-24Remove match checkTim Chevalier-1/+1
2012-08-24Infer purity for || style closures. Closes #3023.Michael Sullivan-5/+6
2012-08-23Remove purity from fn_decl and move it out to containing AST elements.Michael Sullivan-2/+4
2012-08-23More complete fix to #3162 (borrowck bug related to access to rec fields)Niko Matsakis-13/+2
2012-08-23`m1!{...}` -> `m1!(...)`Paul Stansifer-43/+43
2012-08-22Parse and typecheck moving out of enums (#2329)Ben Blum-1/+2
2012-08-22intern identifiersPaul Stansifer-2/+3