| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Terminology mop-up. | Graydon Hoare | 2010-07-02 | 1 | -2/+2 | |
| | | ||||||
| * | You may get the feeling that all these changes look eerily the same. You ↵ | Graydon Hoare | 2010-07-02 | 1 | -2/+3 | |
| | | | | | would be correct. | |||||
| * | Simplify type before deciding how to free it. Hint: calling free() on a ↵ | Graydon Hoare | 2010-07-02 | 1 | -1/+1 | |
| | | | | | running task is usually a bad idea. | |||||
| * | Merge branch 'master' of [email protected]:graydon/rust into ↵ | Graydon Hoare | 2010-07-02 | 5 | -12/+23 | |
| |\ | | | | | | | exterior_and_mutable_types | |||||
| | * | Fix two bugs in tag patterns: 1. Look up the tag constructor function item ↵ | Roy Frostig | 2010-07-01 | 2 | -10/+10 | |
| | | | | | | | | | using lval_item, not lval_to_referent; 2. Correct the form of the name used to query the tag or iso ty_tag when obtaining the corresponding type tuple. | |||||
| | * | Add (XFAILed) testcase for typechecker issue where fns-in-mods appear to ↵ | Roy Frostig | 2010-06-29 | 2 | -0/+12 | |
| | | | | | | | | | lose their type parameters over the course of the typechecking pass. | |||||
| | * | Merge branch 'master' of [email protected]:graydon/rust | Graydon Hoare | 2010-06-29 | 2 | -2/+1 | |
| | |\ | ||||||
| | | * | Work-around and un-XFAIL generic-obj.rs test. The problem uncovered in the ↵ | Roy Frostig | 2010-06-29 | 2 | -2/+1 | |
| | | | | | | | | | | | | | original XFAIL is more generally that of issue #92. | |||||
| * | | | Fix bug in clone logic; was ignoring the mutability-strip step in later rule. | Graydon Hoare | 2010-07-02 | 1 | -21/+22 | |
| | | | | ||||||
| * | | | Teach severing logic to handle obj and fn types. | Graydon Hoare | 2010-07-02 | 1 | -15/+28 | |
| | | | | ||||||
| * | | | Wrap long line. | Graydon Hoare | 2010-07-02 | 1 | -11/+12 | |
| | | | | ||||||
| * | | | Trace mark and sever steps in GC. | Graydon Hoare | 2010-07-02 | 1 | -2/+6 | |
| | | | | ||||||
| * | | | Return LLVM to at least being able to run hello world. | Graydon Hoare | 2010-07-02 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Walk (mut/constr stripped) TY_iso edges when boxed. Fault on non-boxed ↵ | Graydon Hoare | 2010-07-02 | 1 | -5/+6 | |
| | | | | | | | | | | | | | edges; they should not have made it past resolve. | |||||
| * | | | Compensate for .tmp in run-fail tests. | Graydon Hoare | 2010-07-02 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | New test of explicit deref operator. | Graydon Hoare | 2010-07-02 | 2 | -0/+5 | |
| | | | | ||||||
| * | | | Change make rules around running tests to not produce an .out file if ↵ | Graydon Hoare | 2010-07-02 | 1 | -4/+10 | |
| | | | | | | | | | | | | | test-run fails. | |||||
| * | | | Permit mutables as comparable in all contexts. | Graydon Hoare | 2010-07-02 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Don't unify the *input* to init-box with a box constraint, nurr. | Graydon Hoare | 2010-07-02 | 1 | -2/+3 | |
| | | | | ||||||
| * | | | Improve logging in type. | Graydon Hoare | 2010-07-02 | 1 | -2/+5 | |
| | | | | ||||||
| * | | | Box the args entering the vec-drop test. | Graydon Hoare | 2010-07-02 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Merge branch 'exterior_and_mutable_types' of [email protected]:graydon/rust ↵ | Graydon Hoare | 2010-07-02 | 2 | -31/+9 | |
| |\ \ \ | | | | | | | | | | | | | into exterior_and_mutable_types | |||||
| | * | | | Allow formatting individual decl_params | Patrick Walton | 2010-07-02 | 1 | -5/+9 | |
| | | | | | ||||||
| | * | | | Gut the box[m][o] family from util. | Roy Frostig | 2010-07-02 | 1 | -26/+0 | |
| | | | | | ||||||
| * | | | | Parse effect-qualified type definitions. | Graydon Hoare | 2010-07-02 | 6 | -30/+42 | |
| |/ / / | ||||||
| * | | | Correct drop-ty path; many tests now run. | Graydon Hoare | 2010-07-02 | 1 | -11/+5 | |
| | | | | ||||||
| * | | | Improve drop-path logging and simplify box_rc_cell. | Graydon Hoare | 2010-07-02 | 1 | -5/+14 | |
| | | | | ||||||
| * | | | Actually link GC allocations onto the gc_alloc_chain, der. | Graydon Hoare | 2010-07-02 | 1 | -0/+1 | |
| | | | | ||||||
| * | | | Improve logging on upcall_malloc. | Graydon Hoare | 2010-07-02 | 1 | -2/+7 | |
| | | | | ||||||
| * | | | Handle DW_FORM_blcok4 in runtime dwarf reader, which we started emitting a ↵ | Graydon Hoare | 2010-07-02 | 1 | -0/+6 | |
| | | | | | | | | | | | | | while ago. | |||||
| * | | | Trap missing attr forms during dwarf-scan and shut down dwarf reader, don't ↵ | Graydon Hoare | 2010-07-02 | 1 | -4/+10 | |
| | | | | | | | | | | | | | crash. | |||||
| * | | | Indent/outdent when logging dwarf at runtime. | Graydon Hoare | 2010-07-02 | 1 | -12/+15 | |
| | | | | ||||||
| * | | | Wrap long lines. | Graydon Hoare | 2010-07-01 | 1 | -2/+6 | |
| | | | | ||||||
| * | | | Box arguments that are supposed to be boxed. | Graydon Hoare | 2010-07-01 | 3 | -3/+3 | |
| | | | | ||||||
| * | | | Yeah. Not even a semantic mix-up: just a damn typo. | Graydon Hoare | 2010-07-01 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Teach clone_ty to tolerate cloning a mutable (though not state) type. | Graydon Hoare | 2010-07-01 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Improve mangling. | Graydon Hoare | 2010-07-01 | 1 | -2/+2 | |
| | | | | ||||||
| * | | | Teach the associative_binary_op_ty_fold about box, mutable and tys. | Graydon Hoare | 2010-07-01 | 1 | -0/+3 | |
| | | | | ||||||
| * | | | Strip outer 'mutable' off slot when deciding if pred can apply. | Graydon Hoare | 2010-07-01 | 1 | -2/+3 | |
| | | | | ||||||
| * | | | Retire defunct copy_ty in favour of trans_copy_ty, which invokes the same ↵ | Graydon Hoare | 2010-07-01 | 1 | -71/+60 | |
| | | | | | | | | | | | | | logic at the bottom. | |||||
| * | | | Reinstate disgusting, filthy workarounds for deriving missing type ↵ | Graydon Hoare | 2010-07-01 | 1 | -14/+19 | |
| | | | | | | | | | | | | | information. It existed before, we will survive if it exists now. | |||||
| * | | | Remove similar over-application of auto-deref from type. | Graydon Hoare | 2010-07-01 | 1 | -7/+7 | |
| | | | | ||||||
| * | | | Remove too-optimistic (and not harmless) over application of auto-deref in ↵ | Graydon Hoare | 2010-07-01 | 1 | -8/+4 | |
| | | | | | | | | | | | | | trans. | |||||
| * | | | Split out and improve trans_init_box. | Graydon Hoare | 2010-07-01 | 1 | -8/+18 | |
| | | | | ||||||
| * | | | Add logging to trans_init_slot_from_atom. | Graydon Hoare | 2010-07-01 | 1 | -3/+15 | |
| | | | | ||||||
| * | | | Catch ast pretty-printer up with init-tup syntax. | Graydon Hoare | 2010-07-01 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Fox the clauses that actually satisfy box and mutable constraints; in all ↵ | Graydon Hoare | 2010-07-01 | 1 | -14/+10 | |
| | | | | | | | | | | | | | the confusion I had got those wrong. | |||||
| * | | | Of course, the LHS constraint on an init-box statement is mutable @. | Graydon Hoare | 2010-07-01 | 1 | -2/+2 | |
| | | | | ||||||
| * | | | Clarify in type logging when we have a constraint vs. a resolved type. | Graydon Hoare | 2010-07-01 | 1 | -4/+10 | |
| | | | | ||||||
| * | | | Add compile-check target for just attempting to compile, not run, the tests. | Graydon Hoare | 2010-07-01 | 1 | -0/+3 | |
| | | | | ||||||