aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me
Commit message (Expand)AuthorAgeFilesLines
* Use typed slot rather than AST slot in trans_for_loop.Graydon Hoare2010-07-051-3/+4
* Teach the dwarf readers to handle udata, so we can link with util.option; add...Graydon Hoare2010-07-051-0/+1
* Fix generic-derived-type.rs and generic-obj-with-derived-type.rs.Graydon Hoare2010-07-041-1/+1
* Improve type.ml logging.Graydon Hoare2010-07-041-1/+2
* Fix rec-extend.rs test.Graydon Hoare2010-07-041-7/+11
* Fix compile-fail/log-type-error.rs.Graydon Hoare2010-07-041-1/+3
* Comment-out glue interrupt-flag test; unclear why it breaks, but glue call-tr...Graydon Hoare2010-07-041-1/+4
* Spill immediates with proper IL type (was making valgrind dislike obj-with-ve...Graydon Hoare2010-07-041-1/+1
* Fix bug crashing valgrind in obj-recursion.rs.Graydon Hoare2010-07-041-1/+1
* Improve logging in drop paths.Graydon Hoare2010-07-041-10/+20
* More corrections to drop/free path to accommodate TY_box.Graydon Hoare2010-07-031-37/+41
* Add version-stamp machinery (and put "Draft + datestamp" into doc footer).Graydon Hoare2010-07-031-1/+1
* Deja vu all over again. Something makes me think this is a usability hazard.Graydon Hoare2010-07-021-3/+6
* Terminology mop-up.Graydon Hoare2010-07-021-2/+2
* You may get the feeling that all these changes look eerily the same. You woul...Graydon Hoare2010-07-021-2/+3
* Simplify type before deciding how to free it. Hint: calling free() on a runni...Graydon Hoare2010-07-021-1/+1
* Merge branch 'master' of [email protected]:graydon/rust into exterior_and_mutabl...Graydon Hoare2010-07-022-10/+10
|\
| * Fix two bugs in tag patterns: 1. Look up the tag constructor function item us...Roy Frostig2010-07-012-10/+10
* | Fix bug in clone logic; was ignoring the mutability-strip step in later rule.Graydon Hoare2010-07-021-21/+22
* | Teach severing logic to handle obj and fn types.Graydon Hoare2010-07-021-15/+28
* | Trace mark and sever steps in GC.Graydon Hoare2010-07-021-2/+6
* | Walk (mut/constr stripped) TY_iso edges when boxed. Fault on non-boxed edges;...Graydon Hoare2010-07-021-5/+6
* | Permit mutables as comparable in all contexts.Graydon Hoare2010-07-021-1/+1
* | Don't unify the *input* to init-box with a box constraint, nurr.Graydon Hoare2010-07-021-2/+3
* | Improve logging in type.Graydon Hoare2010-07-021-2/+5
* | Parse effect-qualified type definitions.Graydon Hoare2010-07-023-8/+13
* | Correct drop-ty path; many tests now run.Graydon Hoare2010-07-021-11/+5
* | Improve drop-path logging and simplify box_rc_cell.Graydon Hoare2010-07-021-5/+14
* | Wrap long lines.Graydon Hoare2010-07-011-2/+6
* | Yeah. Not even a semantic mix-up: just a damn typo.Graydon Hoare2010-07-011-1/+1
* | Teach clone_ty to tolerate cloning a mutable (though not state) type.Graydon Hoare2010-07-011-1/+1
* | Improve mangling.Graydon Hoare2010-07-011-2/+2
* | Teach the associative_binary_op_ty_fold about box, mutable and tys.Graydon Hoare2010-07-011-0/+3
* | Strip outer 'mutable' off slot when deciding if pred can apply.Graydon Hoare2010-07-011-2/+3
* | Retire defunct copy_ty in favour of trans_copy_ty, which invokes the same log...Graydon Hoare2010-07-011-71/+60
* | Reinstate disgusting, filthy workarounds for deriving missing type informatio...Graydon Hoare2010-07-011-14/+19
* | Remove similar over-application of auto-deref from type.Graydon Hoare2010-07-011-7/+7
* | Remove too-optimistic (and not harmless) over application of auto-deref in tr...Graydon Hoare2010-07-011-8/+4
* | Split out and improve trans_init_box.Graydon Hoare2010-07-011-8/+18
* | Add logging to trans_init_slot_from_atom.Graydon Hoare2010-07-011-3/+15
* | Fox the clauses that actually satisfy box and mutable constraints; in all the...Graydon Hoare2010-07-011-14/+10
* | Of course, the LHS constraint on an init-box statement is mutable @.Graydon Hoare2010-07-011-2/+2
* | Clarify in type logging when we have a constraint vs. a resolved type.Graydon Hoare2010-07-011-4/+10
* | Establish the box constraint on the dst in STMT_init_box before propagating i...Graydon Hoare2010-07-011-1/+1
* | Remove TYSPEC_loggable. Everything's loggable (or will be, eventually; the ba...Graydon Hoare2010-07-011-53/+5
* | Check the simplified type used in check-expr in trans.Graydon Hoare2010-07-011-1/+1
* | Extract pattern-slot variables in lval typecheck context (mutable ok).Graydon Hoare2010-07-011-1/+1
* | Relax alias-analysis pass to permit literal-aliasing.Graydon Hoare2010-07-011-1/+1
* | Remove the catch-all in type.ml, add cases for every stmt (a couple more hand...Graydon Hoare2010-07-011-8/+55
* | Convey auto-deref judgments made in typechecker to trans layer; control the d...Graydon Hoare2010-07-013-3/+35