about summary refs log tree commit diff
path: root/src/rustc/middle
AgeCommit message (Collapse)AuthorLines
2012-08-21Convert atomic intrinsics away from old argument modes (partial #3200)Ben Blum-14/+44
2012-08-21remove trailing whitespaceNiko Matsakis-1/+1
2012-08-21more sound treatment of fn& regions; change all & to be distinctNiko Matsakis-72/+116
2012-08-20new region inference, seperate infer into modules, improve error msgsNiko Matsakis-2462/+3694
Fixes #2806 Fixes #3197 Fixes #3138
2012-08-20Try to do some resolution of vtables earlier, in a fairly ad-hoc way. Closes ↵Michael Sullivan-36/+90
#3156.
2012-08-20Disallow deconstructing destructing structs (fixes #3147)Ben Blum-0/+6
2012-08-20remove fixme in check::altBen Blum-2/+0
2012-08-20Re-allow pattern-matching structs (#3215)Ben Blum-2/+0
2012-08-20Do vtable resolution for *all* method calls, not just statically resolved ↵Michael Sullivan-22/+31
ones... Closes #3221.
2012-08-17rustc: Implement "priv" for simple items.Patrick Walton-60/+124
Inherited privacy doesn't work yet. This probably requires a snapshot since it won't be backwards compatible. Additionally, two errors are printed instead of one. For this reason the test is XFAIL'd.
2012-08-17fix deprecated-mode lint warning to consider dtorsNiko Matsakis-1/+1
2012-08-17Make by-val explicit self actually work. Closes #2585.Michael Sullivan-64/+129
2012-08-17rustc: Remove all the code dealing with named implementations in resolve3Patrick Walton-227/+33
2012-08-17rustc: Remove the impl mapPatrick Walton-180/+2
2012-08-17rustc: Prevent destructors from being run twice with the repeated vector syntaxPatrick Walton-0/+9
2012-08-17make borrowck more conservative around rvalues.Niko Matsakis-46/+70
this will require more temporaries, but is probably less magical. also, it means that borrowck matches trans better, so fewer crashes. bonus. Finally, stop warning about implicit copies when we are actually borrowing. Also, one test (vec-res-add) stopped failing due to #2587, and hence I added an xfail-test. Fixes #3217, #2977, #3067
2012-08-17Remove a `match check`Lindsey Kuper-3/+8
2012-08-17More and better debug messages for method typecheckingLindsey Kuper-6/+18
2012-08-17rustc: Remove lookup_defs; unused.Patrick Walton-2/+1
2012-08-17rustc: Encode reexports in the metadata and don't have each_path search ↵Patrick Walton-6/+57
tag_paths
2012-08-17Forbid pattern-matching structs until the next snapshot (#3215)Ben Blum-0/+2
2012-08-17Work around #3215/#3217 use-after-free in typeck::check::altBen Blum-1/+4
2012-08-17Default methods with self-calls make it as far as trans.Lindsey Kuper-0/+20
2012-08-17Change node_id to def_id in self_info.Lindsey Kuper-7/+11
2012-08-17Remove the class keywordBrian Anderson-19/+19
2012-08-16s/class/struct/ in an error message.Graydon Hoare-1/+1
2012-08-15rustc: Allow external structs to be constructed. Closes #3012.Patrick Walton-1/+3
Embarrassing.
2012-08-15rustc: Fix long lines and trailing whitespacePatrick Walton-1/+1
2012-08-15rustc: Perform some AST surgery to separate out class fields from methodsPatrick Walton-111/+75
2012-08-15rustc: Parse labeled loop, break, and againPatrick Walton-31/+89
2012-08-15rustc: Implement automatic reference for method receiversPatrick Walton-51/+119
2012-08-15rustc: "as Trait" can now be written "as @Trait".Patrick Walton-44/+68
There is also code for ~Trait and &Trait, but these are currently (incorrectly) synonyms for "as @Trait" and "as &Trait".
2012-08-15Reject empty matches on inhabited typesTim Chevalier-3/+9
Closes #3096
2012-08-15lint: Allow leading underscores on camel case typesBrian Anderson-5/+16
2012-08-15Convert more core types to camel caseBrian Anderson-51/+51
2012-08-14Convert more core types to camel caseBrian Anderson-3/+3
2012-08-14Make most forms of explicit self work. By-value not implemented. Work on #2585.Michael Sullivan-29/+79
2012-08-14Convert a couple hundred ~""s to ""s, in trans functions.Graydon Hoare-280/+280
2012-08-14Compile default methods; un-xfail default methods test (cc: #2794).Lindsey Kuper-18/+25
2012-08-13core: Camel case some lesser-used modulesBrian Anderson-2/+2
2012-08-13Stop parsing old operator overloading syntaxBrian Anderson-14/+0
2012-08-13In typeck::collect::ensure_trait_methods, don't assume the trait was already ↵Tim Chevalier-8/+10
checked Instead of using node_id_to_type to look up the trait type, pass it in as an argument. This handles the case where we check an impl of a trait T before T has been traversed.
2012-08-13De-mode-ify a few minor libcore modules.Graydon Hoare-1/+1
2012-08-13rustc: Mostly implement region-bounded stack closuresPatrick Walton-111/+318
2012-08-13rustc: Enum idents are not in the value namespace. Closes #3186Brian Anderson-2/+4
2012-08-13Default methods get through compilation, but not linkage (cc: #2794).Lindsey Kuper-2/+28
2012-08-13Change "iid" identifiers (apparently "interface id") to "trait_id"Lindsey Kuper-12/+13
2012-08-11correct glb computation, improve region error msgsNiko Matsakis-33/+63
cc #3180
2012-08-11infer: better names, docsNiko Matsakis-40/+122
2012-08-11switch over some newtyped enums to structsNiko Matsakis-15/+18