| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 1 | -25/+6 |
| * | Change rust_vec to have a 16-byte header, to 16-byte-align vec-body data. Maj... | Graydon Hoare | 2011-04-02 | 1 | -2/+2 |
| * | Switch rustboot from element-wise copying to take+drop+memcpy. Un-XFAIL size-... | Graydon Hoare | 2011-03-11 | 1 | -2/+2 |
| * | Recursively genericize types and spread across glue. Saves 1mb size, 8s compi... | Graydon Hoare | 2011-01-11 | 1 | -0/+31 |
| * | rustboot: Only bottom out at opaque IL types after finding two cycles. DON'T ... | Patrick Walton | 2010-12-21 | 1 | -1/+1 |
| * | Change 'stratum' to the friendlier term 'layer'. | Graydon Hoare | 2010-12-03 | 1 | -17/+17 |
| * | Isolate while-header bug to minimal testcase, fix in rustboot, remove workaro... | Graydon Hoare | 2010-11-19 | 1 | -0/+2 |
| * | Redo the scheme for block context chaining and termination, to simplify and s... | Graydon Hoare | 2010-11-10 | 1 | -1/+2 |
| * | rustboot: Report the alias-ness of function parameters in type errors | Patrick Walton | 2010-11-05 | 1 | -1/+6 |
| * | rustboot: Report mismatched effect qualifiers | Patrick Walton | 2010-11-05 | 1 | -2/+5 |
| * | rustboot: Report cyclic import errors at the right location | Patrick Walton | 2010-11-05 | 1 | -5/+8 |
| * | rustboot: Describe the cycle when reporting a cyclic import error | Patrick Walton | 2010-11-05 | 1 | -1/+10 |
| * | rustboot: Say exactly which name was unbound when reporting unbound name errors | Patrick Walton | 2010-11-03 | 1 | -38/+52 |
| * | Shift obj, type, param decls to have strata rather than effects. | Graydon Hoare | 2010-11-02 | 1 | -7/+7 |
| * | First pass on splitting stratum and opacity off of effects. WIP. | Graydon Hoare | 2010-11-02 | 1 | -18/+31 |
| * | rustboot: Emit an error message instead of asserting on a type-param mismatch... | Patrick Walton | 2010-10-27 | 1 | -4/+8 |
| * | rustboot: Use a less hacky method to report tag names in error messages, whic... | Patrick Walton | 2010-10-26 | 1 | -34/+6 |
| * | Prevent Not_found in the unfortunate case when we have to "friendly_stringify... | Patrick Walton | 2010-10-25 | 1 | -1/+2 |
| * | rustboot: If the user tries to instantiate a non-parametric type with type pa... | Patrick Walton | 2010-10-22 | 1 | -1/+2 |
| * | rustboot: Don't use ridiculous type names when describing simple types like i... | Patrick Walton | 2010-10-21 | 1 | -1/+1 |
| * | Use "friendly" type names when reporting a "mismatched type-params" error | Patrick Walton | 2010-10-21 | 1 | -74/+74 |
| * | Move the "friendly" type printer to semant | Patrick Walton | 2010-10-20 | 1 | -0/+72 |
| * | Print better error messages when the number of type params is wrong | Patrick Walton | 2010-10-20 | 1 | -1/+6 |
| * | Fix crasher in rustc. | Graydon Hoare | 2010-10-14 | 1 | -3/+4 |
| * | Move the friendly-names table to semant, reuse it in the name mangler. | Graydon Hoare | 2010-10-13 | 1 | -1/+6 |
| * | Fetch typarams from the outermost item frame, when inside an iter-block. One ... | Graydon Hoare | 2010-10-13 | 1 | -1/+7 |
| * | Git index wins again. | Graydon Hoare | 2010-10-12 | 1 | -7/+10 |
| * | Changes to make rustboot compile on OCaml 3.12 | Graydon Hoare | 2010-10-12 | 1 | -6/+6 |
| * | Teach bind to actually bind typarams, as it claims to. | Graydon Hoare | 2010-10-10 | 1 | -3/+10 |
| * | More type-fold caches, shave another second off compile time. | Graydon Hoare | 2010-10-09 | 1 | -2/+14 |
| * | Fix logging bug. | Graydon Hoare | 2010-10-08 | 1 | -1/+1 |
| * | Add a tag cache for the cases we can't avoid hitting fold; cut rustc compile ... | Graydon Hoare | 2010-10-08 | 1 | -7/+16 |
| * | More fold caches, cut rustc compile time by 60% again. | Graydon Hoare | 2010-10-08 | 1 | -6/+23 |
| * | Cache referent-type calculations in rustboot; cut rustc compile time by 60%. | Graydon Hoare | 2010-10-08 | 1 | -1/+7 |
| * | Add -lpath mechanism for logging only a subset of a pass (by module-path prefix) | Graydon Hoare | 2010-10-08 | 1 | -32/+55 |
| * | Add -lpasses for logging just the progress of passes. | Graydon Hoare | 2010-10-05 | 1 | -1/+24 |
| * | Better backpointer logic. | Graydon Hoare | 2010-10-05 | 1 | -11/+28 |
| * | Drop slots on block exits even when blocks have no statements. Part way to fi... | Graydon Hoare | 2010-09-30 | 1 | -0/+8 |
| * | Revert "Make recursive type verification logic better by allowing it to see t... | Graydon Hoare | 2010-09-22 | 1 | -17/+11 |
| * | Make recursive type verification logic better by allowing it to see through m... | Patrick Walton | 2010-09-21 | 1 | -11/+17 |
| * | Implement preliminary form of structured compare. No boxes, vectors or string... | Graydon Hoare | 2010-09-21 | 1 | -2/+2 |
| * | Bind pattern slots with ?, drop parens from 0-ary tag constructors, translate... | Graydon Hoare | 2010-09-20 | 1 | -11/+17 |
| * | Use name_base in plval base. | Graydon Hoare | 2010-09-20 | 1 | -6/+3 |
| * | Resolve plvals to their defns. | Graydon Hoare | 2010-09-16 | 1 | -0/+11 |
| * | Better representation of tag containment, which will allow us to discern back... | Patrick Walton | 2010-09-16 | 1 | -3/+7 |
| * | Add ctxt_tag_containment to the Semant context | Patrick Walton | 2010-09-16 | 1 | -0/+7 |
| * | Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into late... | Graydon Hoare | 2010-09-15 | 1 | -0/+1 |
| * | Add some form-judgements on plvals and pexps. | Graydon Hoare | 2010-09-15 | 1 | -0/+83 |
| * | Begin actually folding constant items into operands at site of use. | Graydon Hoare | 2010-09-14 | 1 | -0/+1 |
| * | Teach front-end about simple, first-cut version of const items. | Graydon Hoare | 2010-09-14 | 1 | -0/+1 |