| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| * | Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo... | Graydon Hoare | 2010-09-09 | 1 | -189/+262 |
| * | When vec growth results in a newly allocated (extended) buffer, copy existing... | Roy Frostig | 2010-09-03 | 1 | -1/+8 |
| * | Add element to closure to hold captured tydesc (not body tydesc). | Graydon Hoare | 2010-08-25 | 1 | -4/+3 |
| * | Merge obj-drop and closure-drop code, handles freeing bound exteriors now. | Graydon Hoare | 2010-08-25 | 1 | -4/+9 |
| * | First pass of updating the in-memory layout of closures, for issue 81. | Graydon Hoare | 2010-08-25 | 1 | -23/+60 |
| * | Janitorial work on obj box / body / field terminology, following froystig's b... | Graydon Hoare | 2010-08-25 | 1 | -3/+6 |
| * | Avoid iterating ty parts on drop when there are no heap pointers in ty. Wins ... | Graydon Hoare | 2010-08-24 | 1 | -1/+27 |
| * | Fix a bunch of typestate bugs in handling if and while statement wirings. | Graydon Hoare | 2010-08-19 | 1 | -0/+2 |
| * | Add support for casting native types. | Graydon Hoare | 2010-08-18 | 1 | -1/+2 |
| * | Get object's captured typarams when calculating sizes in the backend's fn-pro... | Roy Frostig | 2010-08-09 | 1 | -32/+37 |
| * | Test the deque a bit. Give it a get-by-index method. Fix two uncovered stat... | Roy Frostig | 2010-07-28 | 1 | -0/+17 |
| * | Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as a... | Graydon Hoare | 2010-07-27 | 1 | -1/+1 |
| * | Distill semantics of use-def maps to fewer and more-obvious words. | Graydon Hoare | 2010-07-27 | 1 | -137/+119 |