aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
* | | Improve logging in type.Graydon Hoare2010-07-021-2/+5
* | | Box the args entering the vec-drop test.Graydon Hoare2010-07-021-1/+1
* | | Merge branch 'exterior_and_mutable_types' of [email protected]:graydon/rust into...Graydon Hoare2010-07-022-31/+9
|\ \ \
| * | | Allow formatting individual decl_paramsPatrick Walton2010-07-021-5/+9
| * | | Gut the box[m][o] family from util.Roy Frostig2010-07-021-26/+0
* | | | Parse effect-qualified type definitions.Graydon Hoare2010-07-026-30/+42
|/ / /
* | | 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
* | | Actually link GC allocations onto the gc_alloc_chain, der.Graydon Hoare2010-07-021-0/+1
* | | Improve logging on upcall_malloc.Graydon Hoare2010-07-021-2/+7
* | | Handle DW_FORM_blcok4 in runtime dwarf reader, which we started emitting a wh...Graydon Hoare2010-07-021-0/+6
* | | Trap missing attr forms during dwarf-scan and shut down dwarf reader, don't c...Graydon Hoare2010-07-021-4/+10
* | | Indent/outdent when logging dwarf at runtime.Graydon Hoare2010-07-021-12/+15
* | | Wrap long lines.Graydon Hoare2010-07-011-2/+6
* | | Box arguments that are supposed to be boxed.Graydon Hoare2010-07-013-3/+3
* | | 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
* | | Catch ast pretty-printer up with init-tup syntax.Graydon Hoare2010-07-011-1/+1
* | | 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
* | | Add compile-check target for just attempting to compile, not run, the tests.Graydon Hoare2010-07-011-0/+3
* | | Correct existing reliance on auto-box / unbox behavior in tests.Graydon Hoare2010-07-012-5/+5
* | | Box the integer passed to the handle in obj-drop.rs. No more implicit arg-box...Graydon Hoare2010-07-011-1/+1
* | | 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
* | | Correct overzealous bulk-edit to LLVM code.Graydon Hoare2010-07-011-1/+1
* | | Some work on teaching trans to differentiate between auto-deref and explicit-...Graydon Hoare2010-07-013-37/+88
* | | Add more logging to copy/init paths.Graydon Hoare2010-07-011-12/+27
* | | Remove redundant indirection-function.Graydon Hoare2010-07-011-4/+2
* | | Implement STMT_init_box in trans, clean up some of the semant table-accessors.Graydon Hoare2010-07-016-51/+39
* | | Add STMT_init_box to typestate pass.Graydon Hoare2010-07-011-1/+8
* | | Simplify types before analyzing call structure; 2 more tests compile.Graydon Hoare2010-07-012-4/+6
* | | Add machine-dependent 'float' type.Graydon Hoare2010-07-012-0/+3
* | | Fix lexer's definition of numeric literals.Graydon Hoare2010-07-011-4/+5
* | | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ke...Graydon Hoare2010-06-3017-200/+198