| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-03-29 | rustc: Move interner to rustsyntax | Brian Anderson | -43/+6 | |
| 2012-03-29 | rustc: Move ast, ast_util, visit to rustsyntax | Brian Anderson | -1608/+9 | |
| 2012-03-29 | rustc: Move codemap to rustsyntax | Brian Anderson | -205/+12 | |
| 2012-03-29 | build: Introduce rustsyntax crate | Brian Anderson | -0/+2 | |
| 2012-03-29 | Require "self" as base expression for intra-class method or field references | Tim Chevalier | -122/+9 | |
| All field or method references within a class must begin with "self." now. A bare reference to a field or method in the same class will no longer typecheck. | ||||
| 2012-03-29 | rustc: Fix an infinite loop during size calculations for recursive region ↵ | Patrick Walton | -1/+1 | |
| pointer types | ||||
| 2012-03-28 | Allow explicit self-calls within classes | Tim Chevalier | -197/+200 | |
| Allow writing self.f() within a class that has a method f. In a future commit, this syntax will be required. For now, you can write either self.f() or f(). I added a "privacy" field to all methods (whether class methods or not), which allowed me to refactor the AST somewhat (getting rid of the class_item type; now there's just class_member). | ||||
| 2012-03-28 | use fresh vars in place of _|_ when incorrect # of params supplied | Niko Matsakis | -5/+7 | |
| 2012-03-28 | Detect and report types which could never be instantiated. | Niko Matsakis | -3/+163 | |
| Fixes #2063. | ||||
| 2012-03-28 | rustc: Universally quantify regions when calling functions. Un-XFAIL ↵ | Patrick Walton | -118/+106 | |
| regions-addr-of-ret.rs. | ||||
| 2012-03-28 | Allow references to "self" within classes | Tim Chevalier | -32/+81 | |
| Allow writing self.f within a class that has a field f. Currently, the compiler accepts either self.f or f. In a future commit I'll require writing self.f and not f. Not sure whether self.f() works if f is a method (making sure that works next). | ||||
| 2012-03-28 | Update crate URLs to point to interesting things. | Graydon Hoare | -2/+2 | |
| 2012-03-28 | Make sure type_use.rs doesn't get lost in recursive enums | Marijn Haverbeke | -7/+12 | |
| Closes #2059 | ||||
| 2012-03-27 | Enforce mutability declarations in classes; correct shapes for classes | Tim Chevalier | -34/+132 | |
| 1. Enforce mutability declarations on class fields. Don't allow any mutation of class fields not declared as mutable (except inside the constructor). 2. Handle classes correctly in shape (treat classes like records). | ||||
| 2012-03-27 | make type_kind exhaustive, add an entry for type_self (in particular) | Niko Matsakis | -1/+3 | |
| 2012-03-27 | rust: Remove extensions' dependency on the session | Brian Anderson | -12/+10 | |
| 2012-03-27 | Emergency safe-ref-checker maintenance | Marijn Haverbeke | -82/+92 | |
| It still has some big problems, but at least it more or less understands block arguments now. Closes #1925 | ||||
| 2012-03-27 | Move some code over to iterator-for to see how it performs. | Marijn Haverbeke | -130/+119 | |
| 2012-03-27 | Support returning from loop blocks | Marijn Haverbeke | -51/+186 | |
| The code is somewhat invasive, but it seems hard to do this in a clean way, since the design itself involves a bunch of 'action at a distance'. Issue #1819 | ||||
| 2012-03-27 | Support an alternate for syntax that calls a higher-order function | Marijn Haverbeke | -78/+123 | |
| The last argument of the call must be a block, and the type of this argument must a function returning bool. `break` and `cont` are supported in the body of the block, and return `false` or `true` from the function. When the end of the function is reached, `true` is implicitly returned. for vec::all([1, 2, 3]) {|elt| if elt == 2 { break; } log(error, elt); } Issue #1619 | ||||
| 2012-03-26 | Bulk-edit mutable -> mut. | Graydon Hoare | -314/+314 | |
| 2012-03-26 | rustc: Begin eliminating ext's dependency on the session | Brian Anderson | -46/+61 | |
| 2012-03-26 | rustc: Move eval_const_expr to its own mod | Brian Anderson | -178/+180 | |
| 2012-03-26 | rustc: Combine and unify regions | Patrick Walton | -37/+88 | |
| 2012-03-26 | rustc: "unkown" -> "unknown" | Patrick Walton | -1/+1 | |
| 2012-03-26 | rustc: Fix typo in infer | Patrick Walton | -1/+1 | |
| 2012-03-26 | rustc: Remove obsolete FIXME in infer | Patrick Walton | -3/+0 | |
| 2012-03-26 | rustc: Generalize resolve_var to work with regions too | Patrick Walton | -15/+12 | |
| 2012-03-26 | In typeck, don't call ty::store_iface_methods on private methods | Tim Chevalier | -2/+2 | |
| This was resulting in a different error message depending on whether the private method you were trying to call was in the same crate or a different one. | ||||
| 2012-03-26 | Improve type inference to compute LUB/GLB | Niko Matsakis | -134/+729 | |
| 2012-03-26 | Enforce privacy declarations for class fields and methods | Tim Chevalier | -58/+95 | |
| 2012-03-26 | Check in a forgotten new file | Marijn Haverbeke | -0/+54 | |
| 2012-03-26 | Disallow ret inside of block functions | Marijn Haverbeke | -142/+143 | |
| Also adds proper checking for cont/break being inside a loop. Closes #1854 Issue #1619 | ||||
| 2012-03-26 | Fix bug in generation of non-generic resource dtors | Marijn Haverbeke | -1/+1 | |
| Issue #1944 | ||||
| 2012-03-25 | repair the build---also, make try/commit work over both ty/region vars | Niko Matsakis | -17/+34 | |
| 2012-03-24 | rustc: Generalize several parts of infer in preparation for using them for ↵ | Patrick Walton | -94/+97 | |
| region bounds as well | ||||
| 2012-03-24 | Avoid unifying vars when possible; handle bot (more) correctly | Niko Matsakis | -24/+48 | |
| 2012-03-24 | rustc: Stub some region resolution stuff in infer | Patrick Walton | -3/+103 | |
| 2012-03-24 | rustc: Add some simple region checking (no region vars yet) | Patrick Walton | -57/+39 | |
| Amazingly, this causes no test cases to fail! | ||||
| 2012-03-24 | prune unused unification code; leave region code that still needs to be ported | Niko Matsakis | -642/+50 | |
| 2012-03-23 | Allow methods to call other methods in the same class | Tim Chevalier | -2/+15 | |
| 2012-03-23 | add a few measly comments, remove some dead code | Niko Matsakis | -16/+19 | |
| 2012-03-23 | xfail-test regions tests | Niko Matsakis | -21/+3 | |
| 2012-03-23 | Implement new inference algorithm. | Niko Matsakis | -93/+879 | |
| 2012-03-23 | Fix breakage | Tim Chevalier | -5/+3 | |
| 2012-03-23 | Handle self correctly when translating classes | Tim Chevalier | -104/+99 | |
| This change uses the same code for handling the "self" reference for classes as is already used for impls/ifaces. This allows removing the extra maybe_self_id argument (which was just for classes) to trans_closure that I added before. I also rewrote the translation for class ctors so that it doesn't generate new AST nodes (instead translating directly). Also changed visit so that it visits class ctors correctly with visit_fn, and changed typestate to not do return-checking when visiting a class ctor. | ||||
| 2012-03-23 | rustc: Remove `// */` sequence from trans/base.rs; it breaks vi syntax ↵ | Patrick Walton | -1/+1 | |
| highlighting | ||||
| 2012-03-23 | rustc: Stub a table of borrowings | Patrick Walton | -2/+10 | |
| 2012-03-23 | rustc: Make region folding not descend into function types | Patrick Walton | -7/+15 | |
| Since region parameters are always universally quantified at the function level, this would be incorrect. | ||||
| 2012-03-23 | rustc: Fix parsing of `ret &EXPR` | Patrick Walton | -0/+1 | |
| The parser didn't think that `&` could start an expression. | ||||
