summary refs log tree commit diff
path: root/src/rustc/middle/borrowck.rs
AgeCommit message (Expand)AuthorLines
2012-07-09change borrowck error msg: 'declared in outer block' -> 'captured in a closur...Ben Blum-2/+4
2012-07-08Revert "change borrowck error msg: 'declared in outer block' -> 'captured in ...Brian Anderson-4/+2
2012-07-06change borrowck error msg: 'declared in outer block' -> 'captured in a closure'Ben Blum-2/+4
2012-07-04convert doc-attributes to doc-comments using ./src/etc/sugarise-doc-comments....Gareth Daniel Smith-150/+148
2012-07-01Convert to new closure syntaxBrian Anderson-1/+1
2012-06-29Switch the compiler over to using ~[] notation instead of []/~. Closes #2759.Michael Sullivan-1/+1
2012-06-24Remove resourcesTim Chevalier-4/+1
2012-06-21Issue #2657: track mutability of bindings, also prevent move from bindingsNiko Matsakis-0/+9
2012-06-17Issue #2633: remove last_use entries that are subject to a loanNiko Matsakis-0/+3
2012-06-14Issue #2591: Fix "upvar" jargon in borrowck error messagesPatrick Walton-3/+5
2012-06-13Box AST identsBrian Anderson-2/+2
2012-06-12Treat enums with one variant specially in borrowck: #2573Niko Matsakis-7/+9
2012-06-08remove alias analysis and replace with borrowckNiko Matsakis-23/+2
2012-06-07Revert "remove alias analysis and replace with borrowck"Brian Anderson-2/+23
2012-06-07remove alias analysis and replace with borrowckNiko Matsakis-23/+2
2012-06-06move borrowck to dvec, insert a few minor copiesNiko Matsakis-1/+2
2012-06-04handle fixed-length vecs in borrowck categorizationNiko Matsakis-3/+7
2012-06-02improve borrowck to handle some frankly rather tricky casesNiko Matsakis-6/+18
2012-06-01break up borrowck into modules and begin to document how it worksNiko Matsakis-1559/+195
2012-05-31allow mutable vectors and so forth to be used as immutable slicesNiko Matsakis-3/+3
2012-05-30allow for loop bodiesNiko Matsakis-1/+1
2012-05-30integrate purity into typeNiko Matsakis-78/+103
2012-05-29make all arguments modes immutableNiko Matsakis-7/+4
2012-05-25replace last_use with liveness infoNiko Matsakis-3/+5
2012-05-24new liveness pass to supercede last_use / initednessNiko Matsakis-3/+23
2012-05-24rewrite purity check to search through scope chainNiko Matsakis-63/+67
2012-05-23shuffle error messages in borrowck, and prevent it from spewing too manyNiko Matsakis-16/+22
2012-05-23modify borrowck to allow arbitrary borrows in pure scopesNiko Matsakis-26/+127
2012-05-23refactor loan to not return result<>Niko Matsakis-52/+45
2012-05-23prepare for gather to gather up multiple mapsNiko Matsakis-16/+18
2012-05-21rustc: Move ast_map to the syntax crateBrian Anderson-0/+1
2012-05-18port some code to use dvecNiko Matsakis-3/+6
2012-05-18try to improve handling of methodsNiko Matsakis-13/+29
2012-05-18fix borrowing pats---the id field of cmt was assoc with wrong patNiko Matsakis-13/+32
2012-05-18test that we preserve boxes in patterns---still one bugNiko Matsakis-46/+132
2012-05-16correct preservation of explicit borrows like "let x = &*y;"Niko Matsakis-3/+3
2012-05-15check if the type of a local variable contains illegal regionNiko Matsakis-3/+3
2012-05-15get preservation of boxes working, at least in simple casesNiko Matsakis-31/+58
2012-05-15Remove `be` keyword.Lindsey Kuper-1/+1
2012-05-11move purity checking into borrowck, addresses #1422Niko Matsakis-25/+141
2012-05-10replace mutbl pass with borrowckNiko Matsakis-125/+261
2012-05-10Remove `do { ... } while ...` from the language.Paul Stansifer-3/+3
2012-05-09implement new borrow ck (disabled by default)Niko Matsakis-0/+1334