| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-07-18 | rustc: Make resolve3 multiple-trait-per-impl-aware | Patrick Walton | -30/+25 | |
| 2012-07-18 | syntax: Parse multiple trait refs in a single implementation | Patrick Walton | -15/+64 | |
| 2012-07-18 | prevent regions from escaping in ifaces; remove &r.T syntax | Niko Matsakis | -83/+245 | |
| 2012-07-17 | borrow from @[] vectors (cc #2797) | Niko Matsakis | -150/+224 | |
| 2012-07-17 | rustc: Implement and enforce instance coherence | Patrick Walton | -294/+931 | |
| 2012-07-17 | Support attributes on class ctors and dtors | Tim Chevalier | -4/+13 | |
| Closes #2660 | ||||
| 2012-07-17 | Remove most of old resolve | Tim Chevalier | -2333/+4 | |
| resolve has a few type definitions in it that are used, so I left those and deleted everything else. Also, I switched rustdoc to use resolve3 instead of the old resolve. In a future commit I'll remove the type definitions entirely, as they're just duplicates of types defined in resolve3. | ||||
| 2012-07-16 | introduce an owned kind for data that contains no borrowed ptrs | Niko Matsakis | -124/+200 | |
| 2012-07-16 | improve comment | Niko Matsakis | -9/+33 | |
| 2012-07-14 | infer the scope of borrows | Niko Matsakis | -190/+313 | |
| 2012-07-14 | remove typestate from code, tests, and docs | Niko Matsakis | -650/+69 | |
| 2012-07-14 | Treat bare vector and string literals as fixed length vecs. Closes #2922. | Michael Sullivan | -81/+9 | |
| 2012-07-14 | Get rid of ast::ty_vstore, which was only used for fixed length. | Michael Sullivan | -9/+5 | |
| 2012-07-14 | Tear out ty_str and ty_vec. | Michael Sullivan | -180/+61 | |
| 2012-07-14 | Fix a bunch of deprecated str/vec errors in code for non 64-bit linux ↵ | Michael Sullivan | -1/+1 | |
| platforms... | ||||
| 2012-07-14 | Merge branch 'vector-reform' into incoming | Michael Sullivan | -1437/+1458 | |
| 2012-07-14 | Make the new world order normative. Closes #2908. | Michael Sullivan | -1/+1 | |
| 2012-07-14 | Move the world over to using the new style string literals and types. Closes ↵ | Michael Sullivan | -1436/+1456 | |
| #2907. | ||||
| 2012-07-14 | Don't emit strings when the destination is ignored. | Michael Sullivan | -0/+1 | |
| 2012-07-13 | Warn on old strs | Michael Sullivan | -1/+1 | |
| 2012-07-13 | Add FIXME marking where the work on #2794 has gotten to, so far. | Lindsey Kuper | -0/+3 | |
| 2012-07-13 | Make an error message more grammatical. | Lindsey Kuper | -1/+1 | |
| 2012-07-13 | Support prefix notation for vstore strings. Closes #2906. | Michael Sullivan | -45/+45 | |
| 2012-07-13 | Change stray `cont` to `again` in a comment. | Lindsey Kuper | -1/+1 | |
| 2012-07-13 | More consistent use of backticks and "expected" in error messages. | Lindsey Kuper | -44/+44 | |
| Got some of the debug messages, here, too. I figure it doesn't hurt to get used to doing this even in places where users won't ever see it. | ||||
| 2012-07-13 | Refactor how impl self types are stored | Tim Chevalier | -22/+18 | |
| In order to avoid a confusing use of the tcache, I added an extra node ID field to trait refs. Now trait refs have a "ref ID" (the one that resolve3 resolves) and an "impl ID" (the one that you look up in the tcache to get the self type). Closes #2434 | ||||
| 2012-07-13 | Front-end support for default impls in traits. | Lindsey Kuper | -30/+90 | |
| 2012-07-13 | Consistently use "allowed" rather than "permitted" in error messages. | Lindsey Kuper | -1/+1 | |
| 2012-07-13 | add comments to region inference | Niko Matsakis | -0/+36 | |
| 2012-07-14 | Change cont out of loop error to again out of loop | Zack Corr | -2/+2 | |
| 2012-07-12 | Obliterate the callee_id hack | Tim Chevalier | -25/+27 | |
| Exprs that could be applications of overloaded operators (expr_unary, expr_binary, expr_index) relied on the previous node ID being "reserved" to carry extra typechecking info. This was incredibly error-prone. Fixed it; now all exprs have two node IDs (which will be wasted in some cases; future work could make this an option instead if the extra int field ends up being a performance problem). Closes #2804 | ||||
| 2012-07-12 | Fix the signature on vec::view. | Eric Holk | -5/+10 | |
| Due to limitations in region inference, this has the effect of making vec::view pretty much entirely unusable. | ||||
| 2012-07-12 | rustc: Resolve bounds of trait type parameters | Brian Anderson | -0/+2 | |
| 2012-07-12 | Handle str/~ in patterns. | Michael Sullivan | -3/+15 | |
| 2012-07-12 | Accept prefix notation for writing the types of str/~ and friends. | Michael Sullivan | -29/+76 | |
| 2012-07-12 | rustc: Make all impls even more reachable | Brian Anderson | -14/+6 | |
| With this we write metadata for all impls so that we can properly find reexported impls. | ||||
| 2012-07-12 | Merge branch 'rt-changes' into incoming | Michael Sullivan | -74/+50 | |
| 2012-07-12 | Make str be treated as str/~. | Michael Sullivan | -2/+2 | |
| 2012-07-12 | Refactor how we convert vstore ast types to ty types. | Michael Sullivan | -21/+20 | |
| 2012-07-11 | infer when types are region parameterized rather than requiring /& | Niko Matsakis | -164/+376 | |
| - removes various fields from various variants in the AST - also update tests not to use this notation | ||||
| 2012-07-11 | new option to note where purity is req'd | Niko Matsakis | -0/+6 | |
| 2012-07-11 | add ability to report statistics about how borrowck is being used | Niko Matsakis | -14/+58 | |
| 2012-07-11 | rustc: Treat existential traits as base types for coherence purposes | Patrick Walton | -10/+11 | |
| 2012-07-11 | Remove obsolete type param field from shape information. | Michael Sullivan | -8/+0 | |
| 2012-07-11 | Change the interface of placement new to take a tydesc as part of Issue #2831. | Michael Sullivan | -20/+15 | |
| 2012-07-11 | rustc: Add some more checks to coherence | Patrick Walton | -9/+197 | |
| 2012-07-10 | Visit item macros. | Eric Holk | -2/+2 | |
| 2012-07-10 | In resolve, check that an or-pattern has the same number of bindings in each ↵ | Tim Chevalier | -5/+42 | |
| disjunct resolve3 wasn't checking this. Added test cases. Also added a helpful informational message in the case where you have a variable binding that you probably think refers to a variant that you forgot to import. This is easier to do in resolve than in typeck because there's code in typeck that assumes that each of the patterns binds the same number of variables. | ||||
| 2012-07-10 | rustc: Introduce a coherence checker, behind a compile switch for now | Patrick Walton | -0/+233 | |
| 2012-07-10 | Get rid of unused fields in tydescs. Closes #2351. | Michael Sullivan | -23/+13 | |
