about summary refs log tree commit diff
path: root/src/rustc/middle
AgeCommit message (Collapse)AuthorLines
2012-11-07Rename src/rustc to src/librustc. Use the driver crateBrian Anderson-51148/+0
2012-11-07rustc: Long linesPatrick Walton-1/+2
2012-11-07rustc: Implement the Drop trait. r=brsonPatrick Walton-2/+101
2012-11-06rustc: reuse const vals, translate fn paths as consts. Close #2530.Graydon Hoare-28/+48
2012-11-06Cleanup how we handle proto in types, remove unsound subtypingNiko Matsakis-633/+499
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-05rustc: Stop declaring unused upcallsBrian Anderson-2/+1
2012-11-05rustc: Implement deriving involving generic bounded traits. r=brsonPatrick Walton-36/+147
2012-11-05rustc: Implement parsing and typechecking for "once fn"Patrick Walton-32/+122
2012-11-02rustc: Refactor vtable lookup to use a vtable context, so that it can be ↵Patrick Walton-62/+101
called outside a function. rs=refactor
2012-11-02rustc: Eliminate the necessity of having an expr in order to call ↵Patrick Walton-44/+80
lookup_vtables(). rs=#rust Automatically-generated derived methods don't have exprs and need to call this function.
2012-11-02rustc: Implement ~Trait. r=nmatsakisPatrick Walton-32/+121
2012-11-02rustc: Implement dereference via unary '*' for structs. r=nmatsakisPatrick Walton-0/+51
2012-11-02rustc: Implement translation of pattern matching for tuple structs and ↵Patrick Walton-79/+225
unit-like structs. r=nmatsakis
2012-11-02rustc: Implement typechecking, exhaustiveness checking, and borrow checking ↵Patrick Walton-71/+166
for pattern matching of tuple structs. r=nmatsakis Conflicts: src/rustc/middle/typeck/check/alt.rs
2012-11-01rustc: Fix tab charactersPatrick Walton-30/+30
2012-11-01rustc: Stop overwriting trait static method types when checking generic ↵Patrick Walton-6/+34
trait refs. Closes #3903. rs=blocking-burg
2012-10-31rustc: Swap argument order in drop_and_cancel_cleanBrian Anderson-2/+2
2012-10-31Merge remote-tracking branch 'vertexclique/incoming'Brian Anderson-1/+7
2012-11-01change function and place in expr.rsMahmut Bulut-20/+7
2012-10-31Fix checking of duplicate and missing struct field initializers. Closes ↵Brian Anderson-5/+9
#3486. Closes #3892
2012-10-30Preserve parenthesization in the ASTTim Chevalier-33/+58
Maintain explicit "paren" nodes in the AST so we can pretty-print without having to guess where parens should go. We may revisit this in the future. r=graydon
2012-10-30* dropnzero_val fn addedMahmut Bulut-1/+20
* zero-mem for not needed drop situation placed in Ignore
2012-10-30rustc: Translate "deriving" for monomorphic intra-crate enums. r=brsonPatrick Walton-38/+182
2012-10-30rustc: Instantiate trait refs for automatically-derived implementations. ↵Patrick Walton-4/+14
Should fix check-fast. rs=bustage
2012-10-29rustc: Implement typechecking for automatically-derived enumsPatrick Walton-2/+55
2012-10-29Merge pull request #3871 from pcwalton/masterPatrick Walton-32/+233
rustc: Translate monomorphic intra-crate automatically-derived method…
2012-10-27Remove unnecessary suffixesTim Chevalier-1/+1
2012-10-26Partial fix for #2687---impl method must only be subtype of trait method, ↵Niko Matsakis-14/+20
not exact match.
2012-10-26rustc: Translate monomorphic intra-crate automatically-derived methods that ↵Patrick Walton-32/+233
follow the "eq" format
2012-10-25Fix long lineTim Chevalier-1/+2
2012-10-25rustc: Translate and check exhaustiveness of struct-like enum variant ↵Patrick Walton-20/+105
patterns. r=nmatsakis
2012-10-25Merge pull request #3858 from pcwalton/struct-like-typeckPatrick Walton-77/+197
rustc: Typecheck, privacy check, and borrow check struct-like enum variants. r=tjc
2012-10-25Make error message for non-copyable args less misleadingTim Chevalier-1/+3
No review, just changing error message text. Closes #3855
2012-10-25rustc: Typecheck, privacy check, and borrow check struct-like enum variantsPatrick Walton-77/+197
2012-10-25rustc: Translate tuple struct constructorsPatrick Walton-43/+151
2012-10-24Long linesBrian Anderson-6/+6
2012-10-24adjust commentsNiko Matsakis-8/+37
2012-10-24Implement proper subtyping for region fn types (part of #2263)Niko Matsakis-383/+679
2012-10-24Merge pull request #3852 from veddan/type-limitsBrian Anderson-0/+123
Lint pass like GCC's -Wtype-limits (#3833)
2012-10-24rustc: Implement typechecking for tuple structs. r=nmatsakisPatrick Walton-6/+49
2012-10-24Cleaned up formatting and fixed bug in rev_binopViktor Dahl-105/+119
2012-10-24Implemented '-W type-limits' (#3833)Viktor Dahl-0/+109
2012-10-23rustc: Implement construction of monomorphic struct-like variants. r=nmatsakisPatrick Walton-73/+288
2012-10-23Remove <- operator from the compilerTim Chevalier-54/+16
Yield an obsolete syntax error on things like "let foo <- bar;" and "foo <- bar;" r=brson Progress on #3466
2012-10-23 Remove uses of binary move in the compilerTim Chevalier-2/+2
2012-10-23rustc: Implement typechecking for simple monomorphic derivable traits on ↵Patrick Walton-66/+322
monomorphic types. r=brson
2012-10-23rustc: Lower-case the error messages in kind.rs, for consistencyBrian Anderson-13/+13
2012-10-22Merge remote-tracking branch 'luqmana/incoming'Brian Anderson-6/+44
2012-10-22rustc: Factor out struct literal typechecking in preparation for struct-like ↵Patrick Walton-122/+132
enum variants
2012-10-22rustc: Implement generic cross-crate trait inheritancePatrick Walton-45/+139