about summary refs log tree commit diff
path: root/src/boot
AgeCommit message (Collapse)AuthorLines
2010-07-04Fix rec-extend.rs test.Graydon Hoare-7/+11
2010-07-04Fix compile-fail/log-type-error.rs.Graydon Hoare-1/+3
2010-07-04Comment-out glue interrupt-flag test; unclear why it breaks, but glue ↵Graydon Hoare-1/+4
call-tree is always finite anyways so not a big deal for now.
2010-07-04Spill immediates with proper IL type (was making valgrind dislike ↵Graydon Hoare-1/+1
obj-with-vec.rs).
2010-07-04Fix bug crashing valgrind in obj-recursion.rs.Graydon Hoare-1/+1
2010-07-04Improve logging in drop paths.Graydon Hoare-10/+20
2010-07-03More corrections to drop/free path to accommodate TY_box.Graydon Hoare-37/+41
2010-07-03Add version-stamp machinery (and put "Draft + datestamp" into doc footer).Graydon Hoare-1/+8
2010-07-02Hey, what's a coding sprint without an uncovered register allocation bug? No ↵Graydon Hoare-1/+2
fun, I say.
2010-07-02Add an arr_iter2 function to common.mlPatrick Walton-0/+5
2010-07-02Deja vu all over again. Something makes me think this is a usability hazard.Graydon Hoare-3/+6
2010-07-02Terminology mop-up.Graydon Hoare-2/+2
2010-07-02You may get the feeling that all these changes look eerily the same. You ↵Graydon Hoare-2/+3
would be correct.
2010-07-02Simplify type before deciding how to free it. Hint: calling free() on a ↵Graydon Hoare-1/+1
running task is usually a bad idea.
2010-07-02Merge branch 'master' of git@github.com:graydon/rust into ↵Graydon Hoare-10/+10
exterior_and_mutable_types
2010-07-02Fix bug in clone logic; was ignoring the mutability-strip step in later rule.Graydon Hoare-21/+22
2010-07-02Teach severing logic to handle obj and fn types.Graydon Hoare-15/+28
2010-07-02Wrap long line.Graydon Hoare-11/+12
2010-07-02Trace mark and sever steps in GC.Graydon Hoare-2/+6
2010-07-02Return LLVM to at least being able to run hello world.Graydon Hoare-1/+1
2010-07-02Walk (mut/constr stripped) TY_iso edges when boxed. Fault on non-boxed ↵Graydon Hoare-5/+6
edges; they should not have made it past resolve.
2010-07-02Permit mutables as comparable in all contexts.Graydon Hoare-1/+1
2010-07-02Don't unify the *input* to init-box with a box constraint, nurr.Graydon Hoare-2/+3
2010-07-02Improve logging in type.Graydon Hoare-2/+5
2010-07-02Merge branch 'exterior_and_mutable_types' of git@github.com:graydon/rust ↵Graydon Hoare-5/+9
into exterior_and_mutable_types
2010-07-02Parse effect-qualified type definitions.Graydon Hoare-30/+42
2010-07-02Allow formatting individual decl_paramsPatrick Walton-5/+9
2010-07-02Correct drop-ty path; many tests now run.Graydon Hoare-11/+5
2010-07-02Improve drop-path logging and simplify box_rc_cell.Graydon Hoare-5/+14
2010-07-01Wrap long lines.Graydon Hoare-2/+6
2010-07-01Yeah. Not even a semantic mix-up: just a damn typo.Graydon Hoare-1/+1
2010-07-01Teach clone_ty to tolerate cloning a mutable (though not state) type.Graydon Hoare-1/+1
2010-07-01Improve mangling.Graydon Hoare-2/+2
2010-07-01Teach the associative_binary_op_ty_fold about box, mutable and tys.Graydon Hoare-0/+3
2010-07-01Strip outer 'mutable' off slot when deciding if pred can apply.Graydon Hoare-2/+3
2010-07-01Retire defunct copy_ty in favour of trans_copy_ty, which invokes the same ↵Graydon Hoare-71/+60
logic at the bottom.
2010-07-01Reinstate disgusting, filthy workarounds for deriving missing type ↵Graydon Hoare-14/+19
information. It existed before, we will survive if it exists now.
2010-07-01Remove similar over-application of auto-deref from type.Graydon Hoare-7/+7
2010-07-01Remove too-optimistic (and not harmless) over application of auto-deref in ↵Graydon Hoare-8/+4
trans.
2010-07-01Split out and improve trans_init_box.Graydon Hoare-8/+18
2010-07-01Add logging to trans_init_slot_from_atom.Graydon Hoare-3/+15
2010-07-01Catch ast pretty-printer up with init-tup syntax.Graydon Hoare-1/+1
2010-07-01Fox the clauses that actually satisfy box and mutable constraints; in all ↵Graydon Hoare-14/+10
the confusion I had got those wrong.
2010-07-01Of course, the LHS constraint on an init-box statement is mutable @.Graydon Hoare-2/+2
2010-07-01Clarify in type logging when we have a constraint vs. a resolved type.Graydon Hoare-4/+10
2010-07-01Establish the box constraint on the dst in STMT_init_box before propagating ↵Graydon Hoare-1/+1
it to the rval.
2010-07-01Remove TYSPEC_loggable. Everything's loggable (or will be, eventually; the ↵Graydon Hoare-53/+5
backend can catch unimplemented cases until then).
2010-07-01Check the simplified type used in check-expr in trans.Graydon Hoare-1/+1
2010-07-01Extract pattern-slot variables in lval typecheck context (mutable ok).Graydon Hoare-1/+1
2010-07-01Relax alias-analysis pass to permit literal-aliasing.Graydon Hoare-1/+1