about summary refs log tree commit diff
path: root/src/rustc/middle
AgeCommit message (Collapse)AuthorLines
2012-08-11rename var_bindings to be less crypticNiko Matsakis-43/+58
2012-08-10Revert "rustc: Make function types have vstores in them"Patrick Walton-212/+98
This reverts commit 0101125a962abae18525d6014cd26ad10bbb96e6.
2012-08-10rustc: Make function types have vstores in themPatrick Walton-98/+212
2012-08-10Remove unneeded imports now that #1873 seems to be fixedLindsey Kuper-2/+0
2012-08-10Move a comment to where it belongs.Lindsey Kuper-1/+2
2012-08-10Change 'ret' to 'return' in an error messageBrian Anderson-1/+1
2012-08-10rustc: Allow @fn to be used as a synonym for fn@, and likewise with ~ and &Patrick Walton-5/+29
2012-08-10remove modes from ty.rsNiko Matsakis-141/+159
2012-08-09rustc: Initialize the drop flag with the new struct literal syntax. Closes ↵Patrick Walton-0/+6
#3172.
2012-08-09de-mode-ify infer and some parts of typeckNiko Matsakis-134/+155
also, fix bug in the various lint passes that fn() was considered not suitable for the default mode
2012-08-09Change coherence error 'implement a trait instead' -> 'implement a trait or ↵Ben Blum-1/+2
new type instead'
2012-08-09Finish translating const indexing. Close #1417, close #570, close #571, ↵Graydon Hoare-14/+59
close #1272, close #2317.
2012-08-09Enforce a stricter notion of purity when borrowing. Fixes #3162.Niko Matsakis-2/+24
2012-08-09Minor cleanupLindsey Kuper-6/+6
2012-08-08lint: Don't warn about non-camel case impl namesBrian Anderson-1/+1
Impls are always named __extensions__ so this warning is bogus
2012-08-08Const field access (working) and vec indexing (almost). More for #2317.Graydon Hoare-2/+90
2012-08-08rustc: Remove some uses of impl_mapBrian Anderson-118/+3
2012-08-08Convert impls to new syntaxBrian Anderson-125/+107
2012-08-08rustc: Do some plumbing work in preparation for common fields in enumsPatrick Walton-25/+30
2012-08-08Minor cleanups/comments/whitespace changesLindsey Kuper-8/+8
2012-08-08Default methods in traits get through typeck.Lindsey Kuper-19/+158
2012-08-08Change a `match check` to `match`Lindsey Kuper-1/+2
2012-08-08Clean up whitespaceLindsey Kuper-1/+1
2012-08-08Make let _ = e; have the same semantics as e;Tim Chevalier-0/+17
The first case was getting treated like a variable binding, meaning that if e had a destructor, it wouldn't run until the end of the enclosing scope. To me it seems less confusing for let _ = e; and e; to work exactly the same way, so now, the destructor for e runs immediately in both cases.
2012-08-08lint: Allow trailing underscores in camel case identsBrian Anderson-1/+12
2012-08-08rustc: Do some plumbing work on nested enumsPatrick Walton-86/+150
2012-08-08rustc: Strict enforcement of glue function types.Elliott Slaughter-60/+118
Make all glue functions take values by alias to remove the need for bitcasts at the top of every glue function. Use static type information to produce the correct type for glue functions so that LLVM can enforce the type system at call sites.
2012-08-08Don't add struct names to the value name space if there's no constructorTim Chevalier-8/+16
Closes #3149
2012-08-08refactor categorization out of borrowck into its own module.Niko Matsakis-369/+473
first step towards #3148 and #3024.
2012-08-07improve borrowck error messages to explain regions betterNiko Matsakis-9/+9
2012-08-07rustc: Resolve constructor expressions for variant structsPatrick Walton-10/+27
2012-08-07rustc: Parse variant structs; add a trivial test casePatrick Walton-6/+11
2012-08-07Add minor debug mode for measuring type sizes, helper for #3025.Graydon Hoare-0/+8
2012-08-07rustc: Box struct_defsPatrick Walton-5/+5
2012-08-07Translate const structs.Graydon Hoare-0/+28
2012-08-07Implement static typeclass methods. Closes #3132.Michael Sullivan-191/+310
2012-08-07rustc: Cosmetic change to type_of to make control flow more obvious.Elliott Slaughter-112/+110
2012-08-07rustc: Fix for type_of on recursive enum creating two types instead of one.Elliott Slaughter-16/+15
2012-08-07rustc: Move some more routines that operate on struct definitions out of linePatrick Walton-128/+148
2012-08-07rustc: Split out struct bodies into a separate "struct_def" type in the ASTPatrick Walton-50/+53
2012-08-07Const slices now work. Something odd about non-const cases though, see #3138.Graydon Hoare-10/+10
2012-08-07rustc: Add stub support for struct variants to the ASTPatrick Walton-58/+95
2012-08-07syntax: Rename expr_alt to expr_matchBrian Anderson-12/+12
2012-08-07syntax: Make match arm parsing more restrictive againBrian Anderson-22/+22
Require comma separators for all expression types except the plain block
2012-08-07Reindent some match exprs to agree with rust-mode.elLindsey Kuper-67/+67
2012-08-07Comments, minor refactoring, clean up wording of error messagesLindsey Kuper-18/+30
2012-08-07add lint mode for deprecated pattern usageNiko Matsakis-6/+36
2012-08-07move borrowck tests to use ref, fix a few exposed shortcomingsNiko Matsakis-16/+22
2012-08-06Auto-deref the base expr in trans_method_calleeTim Chevalier-0/+6
(specifically in the method_trait case) -- if you wrote x.f() and x has type @T for a trait T, x wasn't getting auto-deref'ed. This was bad. Closes #2935
2012-08-06first shot at integrating ref/value bindings into borrowckNiko Matsakis-57/+81
(more needed)