about summary refs log tree commit diff
path: root/src/rustc/middle/resolve.rs
AgeCommit message (Collapse)AuthorLines
2012-11-07Rename src/rustc to src/librustc. Use the driver crateBrian Anderson-5217/+0
2012-11-02rustc: Implement translation of pattern matching for tuple structs and ↵Patrick Walton-25/+26
unit-like structs. r=nmatsakis
2012-11-02rustc: Implement typechecking, exhaustiveness checking, and borrow checking ↵Patrick Walton-2/+3
for pattern matching of tuple structs. r=nmatsakis Conflicts: src/rustc/middle/typeck/check/alt.rs
2012-10-25rustc: Translate tuple struct constructorsPatrick Walton-6/+8
2012-10-24rustc: Implement typechecking for tuple structs. r=nmatsakisPatrick Walton-6/+15
2012-10-23Remove <- operator from the compilerTim Chevalier-1/+1
Yield an obsolete syntax error on things like "let foo <- bar;" and "foo <- bar;" r=brson Progress on #3466
2012-10-23rustc: Implement typechecking for simple monomorphic derivable traits on ↵Patrick Walton-44/+58
monomorphic types. r=brson
2012-10-22Simplify the AST representation of ty param boundsTim Chevalier-12/+6
Change ast::ty_param_bound so that all ty param bounds are represented as traits, with no special cases for Copy/Send/Owned/Const. typeck::collect generates the special cases. A consequence of this is that code using the #[no_core] attribute can't use the Copy kind/trait. Probably not a big deal? As a side effect, any user-defined traits that happen to be called Copy, etc. in the same module override the built-in Copy trait. r=nmatsakis Closes #2284
2012-10-18rustc: Implement intra-crate static methods on anonymous trait ↵Patrick Walton-17/+93
implementations. r=nmatsakis
2012-10-16rustc: Implement intra-crate static methods on anonymous trait implementations.Patrick Walton-109/+297
2012-10-15Error out in resolve if structs try to capture type parametersTim Chevalier-2/+2
Closes #3214
2012-10-15rustc: Merge module and type namespaces. r=brsonPatrick Walton-257/+201
2012-10-15rustc: Implement monomorphic default methods. r=nmatsakisPatrick Walton-6/+15
2012-10-15Fix whitespaceTim Chevalier-2/+2
2012-10-15Allow enum discriminator exprs to refer to declared constsTim Chevalier-7/+51
Also some work towards #3521 Closes #2428
2012-10-12remove ctor from ast (take 2) (no review: just dead code removal)Niko Matsakis-64/+15
2012-10-12Use the Nth impl when translating a static method call, insteadNiko Matsakis-0/+1
of the 0th. 0th is only correct when there are no bound tps on the trait. Fixes #3741.
2012-10-12Replace several common macros of the form #m[...] with m!(...)Kevin Cantu-2/+2
This commit replaces nearly all remaining uses of #fmt, #debug, #error, and #info, and fixes some error messages...
2012-10-08Revert "remove ctor from ast"Tim Chevalier-15/+64
This reverts commit ed3689d57c988e1dd477930d957c4308c37d1a64.
2012-10-08remove ctor from astNiko Matsakis-64/+15
2012-10-05rustc: Implement simple trait inheritance.Patrick Walton-3/+3
Generic trait inheritance, cross-crate trait inheritance, and vtable-based trait inheritance don't work yet.
2012-10-02rustc: Only allow imports marked with "pub" to be imported from other modulesPatrick Walton-4/+19
2012-09-28demode vecNiko Matsakis-1/+1
2012-09-27core: More option demodingBrian Anderson-1/+1
2012-09-27rustc: Make enum export visibility inherit properlyPatrick Walton-5/+10
2012-09-26Demode vec::push (and convert to method)Niko Matsakis-3/+3
2012-09-26replace resolve::Atom with ast::ident.Erick Tryzelaar-142/+129
2012-09-26turn ast::ident into a structErick Tryzelaar-3/+3
This will help with the auto_serialize2 migration. We have to change ident from a type alias to uint into a unique type. We need to use a struct instead of a "enum ident = token::str_num" because structs support constants, but newtypes do not.
2012-09-26Allow hashmaps to infer their typesErick Tryzelaar-1/+1
2012-09-25Respect privacy qualifiers on view items, add to import resolutions.Graydon Hoare-54/+76
2012-09-24Build the export_map2 from visibility markers, unless #[legacy_exports];Graydon Hoare-11/+60
2012-09-23Register snapshots. Remove redundant Eq impls, Makefile hacksBrian Anderson-54/+0
2012-09-23core: Demode optionBrian Anderson-2/+2
2012-09-21rustc: Make x-ray resolution work with non-legacy-exportsBrian Anderson-1/+1
Code generated for the test runner needs to break visibility rules
2012-09-21De-mode vec::map, vec::eachi, vec::rev_each, vec::rev_eachiNiko Matsakis-10/+10
2012-09-21Install new pub/priv/export rules as defaults, old rules accessible under ↵Graydon Hoare-21/+69
#[legacy_exports];
2012-09-20Remove export_map from resolve, just use export_map2.Graydon Hoare-20/+1
2012-09-20rustc: De-mode all overloaded operatorsPatrick Walton-0/+54
2012-09-19demode the each() method on vec and other iterables.Niko Matsakis-30/+30
2012-09-19Remove redundant hashmap constructor functions.Graydon Hoare-11/+11
2012-09-18Revert "replace explicit calls to vec::each with vec::each_ref, partially ↵Niko Matsakis-3/+3
demode str" This reverts commit 1be24f0758d3075d2e7f141f8831bb8a233ce86e. Not quite ready.
2012-09-18replace explicit calls to vec::each with vec::each_ref, partially demode strNiko Matsakis-3/+3
2012-09-11Make moves explicit in rustcTim Chevalier-1/+1
2012-09-10Convert std::map to camel caseBrian Anderson-18/+18
2012-09-10Convert class methods to impl methods. Stop parsing class methodsBrian Anderson-12/+24
2012-09-10rustc: Make shape-based compare glue never called for comparison operators.Patrick Walton-4/+18
Only called for string patterns.
2012-09-07Convert all kind bounds to camel case. Remove send, owned keywords.Brian Anderson-1/+1
2012-09-07Convert 'again' to 'loop'. Remove 'again' keywordBrian Anderson-2/+2
2012-09-07Migrate std::map to use core::hash::Hash trait. Disable many hokey hashes.Graydon Hoare-1/+1
2012-09-07Remove support for multiple traits in a single implTim Chevalier-7/+7
There was half-working support for them, but they were never fully implemented or even approved. Remove them altogether. Closes #3410