aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* More corrections to drop/free path to accommodate TY_box.Graydon Hoare2010-07-031-37/+41
|
* Add stamp target to doc/Makefile.Graydon Hoare2010-07-031-0/+4
|
* Add concept-index entries to docs, plus fix a few minor nits.Graydon Hoare2010-07-031-12/+248
|
* Add version-stamp machinery (and put "Draft + datestamp" into doc footer).Graydon Hoare2010-07-035-9/+45
|
* Hey, what's a coding sprint without an uncovered register allocation bug? No ↵Graydon Hoare2010-07-021-1/+2
| | | | fun, I say.
* Clarify manual's explanation of unwinding during failure. Add bit about ↵Roy Frostig2010-07-021-8/+17
| | | | soft vs. hard failure.
* Add an arr_iter2 function to common.mlPatrick Walton2010-07-021-0/+5
|
* 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 ↵Graydon Hoare2010-07-021-2/+3
| | | | would be correct.
* Simplify type before deciding how to free it. Hint: calling free() on a ↵Graydon Hoare2010-07-021-1/+1
| | | | running task is usually a bad idea.
* Merge branch 'master' of [email protected]:graydon/rust into ↵Graydon Hoare2010-07-025-12/+23
|\ | | | | | | exterior_and_mutable_types
| * Fix two bugs in tag patterns: 1. Look up the tag constructor function item ↵Roy Frostig2010-07-012-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 Frostig2010-06-292-0/+12
| | | | | | | | lose their type parameters over the course of the typechecking pass.
| * Merge branch 'master' of [email protected]:graydon/rustGraydon Hoare2010-06-292-2/+1
| |\
| | * Work-around and un-XFAIL generic-obj.rs test. The problem uncovered in the ↵Roy Frostig2010-06-292-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 Hoare2010-07-021-21/+22
| | |
* | | Teach severing logic to handle obj and fn types.Graydon Hoare2010-07-021-15/+28
| | |
* | | Wrap long line.Graydon Hoare2010-07-021-11/+12
| | |
* | | Trace mark and sever steps in GC.Graydon Hoare2010-07-021-2/+6
| | |
* | | Return LLVM to at least being able to run hello world.Graydon Hoare2010-07-021-1/+1
| | |
* | | Walk (mut/constr stripped) TY_iso edges when boxed. Fault on non-boxed ↵Graydon Hoare2010-07-021-5/+6
| | | | | | | | | | | | edges; they should not have made it past resolve.
* | | Minor clarification/typo-correcting edits to manual sections up to and ↵Roy Frostig2010-07-021-8/+8
| | | | | | | | | | | | including Ref.Mem chapter.
* | | Compensate for .tmp in run-fail tests.Graydon Hoare2010-07-021-1/+1
| | |
* | | New test of explicit deref operator.Graydon Hoare2010-07-022-0/+5
| | |
* | | Change make rules around running tests to not produce an .out file if ↵Graydon Hoare2010-07-021-4/+10
| | | | | | | | | | | | test-run fails.
* | | 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
| | |
* | | 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 ↵Graydon Hoare2010-07-022-31/+9
|\ \ \ | | | | | | | | | | | | into exterior_and_mutable_types
| * | | 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
|/ / /
* | | Remove nameless node causing errors on doc make.Roy Frostig2010-07-021-2/+0
| | |
* | | 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 ↵Graydon Hoare2010-07-021-0/+6
| | | | | | | | | | | | while ago.
* | | Trap missing attr forms during dwarf-scan and shut down dwarf reader, don't ↵Graydon Hoare2010-07-021-4/+10
| | | | | | | | | | | | crash.
* | | 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 ↵Graydon Hoare2010-07-011-71/+60
| | | | | | | | | | | | logic at the bottom.