| Age | Commit message (Expand) | Author | Lines |
|---|
| 2010-07-02 | Deja vu all over again. Something makes me think this is a usability hazard. | Graydon Hoare | -3/+6 |
| 2010-07-02 | Terminology mop-up. | Graydon Hoare | -2/+2 |
| 2010-07-02 | You may get the feeling that all these changes look eerily the same. You woul... | Graydon Hoare | -2/+3 |
| 2010-07-02 | Simplify type before deciding how to free it. Hint: calling free() on a runni... | Graydon Hoare | -1/+1 |
| 2010-07-02 | Merge branch 'master' of git@github.com:graydon/rust into exterior_and_mutabl... | Graydon Hoare | -10/+10 |
| 2010-07-02 | Fix bug in clone logic; was ignoring the mutability-strip step in later rule. | Graydon Hoare | -21/+22 |
| 2010-07-02 | Teach severing logic to handle obj and fn types. | Graydon Hoare | -15/+28 |
| 2010-07-02 | Trace mark and sever steps in GC. | Graydon Hoare | -2/+6 |
| 2010-07-02 | Walk (mut/constr stripped) TY_iso edges when boxed. Fault on non-boxed edges;... | Graydon Hoare | -5/+6 |
| 2010-07-02 | Permit mutables as comparable in all contexts. | Graydon Hoare | -1/+1 |
| 2010-07-02 | Don't unify the *input* to init-box with a box constraint, nurr. | Graydon Hoare | -2/+3 |
| 2010-07-02 | Improve logging in type. | Graydon Hoare | -2/+5 |
| 2010-07-02 | Parse effect-qualified type definitions. | Graydon Hoare | -8/+13 |
| 2010-07-02 | Correct drop-ty path; many tests now run. | Graydon Hoare | -11/+5 |
| 2010-07-02 | Improve drop-path logging and simplify box_rc_cell. | Graydon Hoare | -5/+14 |
| 2010-07-01 | Wrap long lines. | Graydon Hoare | -2/+6 |
| 2010-07-01 | Yeah. Not even a semantic mix-up: just a damn typo. | Graydon Hoare | -1/+1 |
| 2010-07-01 | Teach clone_ty to tolerate cloning a mutable (though not state) type. | Graydon Hoare | -1/+1 |
| 2010-07-01 | Improve mangling. | Graydon Hoare | -2/+2 |
| 2010-07-01 | Teach the associative_binary_op_ty_fold about box, mutable and tys. | Graydon Hoare | -0/+3 |
| 2010-07-01 | Strip outer 'mutable' off slot when deciding if pred can apply. | Graydon Hoare | -2/+3 |
| 2010-07-01 | Retire defunct copy_ty in favour of trans_copy_ty, which invokes the same log... | Graydon Hoare | -71/+60 |
| 2010-07-01 | Reinstate disgusting, filthy workarounds for deriving missing type informatio... | Graydon Hoare | -14/+19 |
| 2010-07-01 | Remove similar over-application of auto-deref from type. | Graydon Hoare | -7/+7 |
| 2010-07-01 | Remove too-optimistic (and not harmless) over application of auto-deref in tr... | Graydon Hoare | -8/+4 |
| 2010-07-01 | Split out and improve trans_init_box. | Graydon Hoare | -8/+18 |
| 2010-07-01 | Add logging to trans_init_slot_from_atom. | Graydon Hoare | -3/+15 |
| 2010-07-01 | Fox the clauses that actually satisfy box and mutable constraints; in all the... | Graydon Hoare | -14/+10 |
| 2010-07-01 | Of course, the LHS constraint on an init-box statement is mutable @. | Graydon Hoare | -2/+2 |
| 2010-07-01 | Clarify in type logging when we have a constraint vs. a resolved type. | Graydon Hoare | -4/+10 |
| 2010-07-01 | Establish the box constraint on the dst in STMT_init_box before propagating i... | Graydon Hoare | -1/+1 |
| 2010-07-01 | Remove TYSPEC_loggable. Everything's loggable (or will be, eventually; the ba... | Graydon Hoare | -53/+5 |
| 2010-07-01 | Check the simplified type used in check-expr in trans. | Graydon Hoare | -1/+1 |
| 2010-07-01 | Extract pattern-slot variables in lval typecheck context (mutable ok). | Graydon Hoare | -1/+1 |
| 2010-07-01 | Relax alias-analysis pass to permit literal-aliasing. | Graydon Hoare | -1/+1 |
| 2010-07-01 | Remove the catch-all in type.ml, add cases for every stmt (a couple more hand... | Graydon Hoare | -8/+55 |
| 2010-07-01 | Convey auto-deref judgments made in typechecker to trans layer; control the d... | Graydon Hoare | -3/+35 |
| 2010-07-01 | Some work on teaching trans to differentiate between auto-deref and explicit-... | Graydon Hoare | -37/+88 |
| 2010-07-01 | Add more logging to copy/init paths. | Graydon Hoare | -12/+27 |
| 2010-07-01 | Remove redundant indirection-function. | Graydon Hoare | -4/+2 |
| 2010-07-01 | Implement STMT_init_box in trans, clean up some of the semant table-accessors. | Graydon Hoare | -51/+39 |
| 2010-07-01 | Add STMT_init_box to typestate pass. | Graydon Hoare | -1/+8 |
| 2010-07-01 | Simplify types before analyzing call structure; 2 more tests compile. | Graydon Hoare | -4/+6 |
| 2010-07-01 | Fix two bugs in tag patterns: 1. Look up the tag constructor function item us... | Roy Frostig | -10/+10 |
| 2010-06-30 | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ke... | Graydon Hoare | -160/+158 |
| 2010-06-30 | Auto-deref on lval-ext terms (x.y == x->y, if you like) | Graydon Hoare | -1/+1 |
| 2010-06-30 | De-duplicate code in get_resolved_ty, make recursive, add a case for tup. | Graydon Hoare | -28/+9 |
| 2010-06-30 | Add two move variants of "acceptable mismatches to recover from" when the mut... | Graydon Hoare | -0/+16 |
| 2010-06-30 | Add relaxed init-context in which we're willing to auto-deref. | Graydon Hoare | -5/+10 |
| 2010-06-30 | Add TYSPEC_mutable, merge control-flag for it and auto_deref into unify_ctx s... | Graydon Hoare | -172/+263 |
