172 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Graydon Hoare	8660ce50a1	Merge branch 'master' of git@github.com:graydon/rust into exterior_and_mutable_types	2010-07-02 16:27:39 -07:00
Graydon Hoare	026cdf9747	Fix bug in clone logic; was ignoring the mutability-strip step in later rule.	2010-07-02 16:16:57 -07:00
Graydon Hoare	0be19e8a95	Teach severing logic to handle obj and fn types.	2010-07-02 16:12:58 -07:00
Graydon Hoare	ec0de963e0	Wrap long line.	2010-07-02 16:12:34 -07:00
Graydon Hoare	63f9bd7b63	Trace mark and sever steps in GC.	2010-07-02 16:12:10 -07:00
Graydon Hoare	b1d3e9697a	Return LLVM to at least being able to run hello world.	2010-07-02 15:11:44 -07:00
Graydon Hoare	6d58987538	Walk (mut/constr stripped) TY_iso edges when boxed. Fault on non-boxed edges; they should not have made it past resolve.	2010-07-02 14:58:55 -07:00
Roy Frostig	8b88fbf3aa	Minor clarification/typo-correcting edits to manual sections up to and including Ref.Mem chapter.	2010-07-02 13:39:42 -07:00
Graydon Hoare	1578715d12	Compensate for .tmp in run-fail tests.	2010-07-02 13:35:29 -07:00
Graydon Hoare	4d00333b1e	New test of explicit deref operator.	2010-07-02 12:55:12 -07:00
Graydon Hoare	4ea41512fc	Change make rules around running tests to not produce an .out file if test-run fails.	2010-07-02 12:54:01 -07:00
Graydon Hoare	f522605f6b	Permit mutables as comparable in all contexts.	2010-07-02 12:52:58 -07:00
Graydon Hoare	f955d06ca9	Don't unify the *input* to init-box with a box constraint, nurr.	2010-07-02 12:33:51 -07:00
Graydon Hoare	0efce5ebe2	Improve logging in type.	2010-07-02 12:32:49 -07:00
Graydon Hoare	74775eff7e	Box the args entering the vec-drop test.	2010-07-02 12:32:28 -07:00
Graydon Hoare	41fa7a404e	Merge branch 'exterior_and_mutable_types' of git@github.com:graydon/rust into exterior_and_mutable_types	2010-07-02 12:03:46 -07:00
Graydon Hoare	285a4735b9	Parse effect-qualified type definitions.	2010-07-02 12:02:56 -07:00
Patrick Walton	a343133511	Allow formatting individual decl_params	2010-07-02 11:57:04 -07:00
Roy Frostig	49656f68b8	Gut the box[m][o] family from util.	2010-07-02 11:03:33 -07:00
Roy Frostig	2683ae64bf	Remove nameless node causing errors on doc make.	2010-07-02 10:09:58 -07:00
Graydon Hoare	a7665b2ae1	Correct drop-ty path; many tests now run.	2010-07-02 09:46:27 -07:00
Graydon Hoare	d9037af22d	Improve drop-path logging and simplify box_rc_cell.	2010-07-02 09:45:24 -07:00
Graydon Hoare	b2692ef2ec	Actually link GC allocations onto the gc_alloc_chain, der.	2010-07-02 08:17:41 -07:00
Graydon Hoare	c7ef0ded81	Improve logging on upcall_malloc.	2010-07-02 08:17:09 -07:00
Graydon Hoare	c33a522097	Handle DW_FORM_blcok4 in runtime dwarf reader, which we started emitting a while ago.	2010-07-02 08:16:34 -07:00
Graydon Hoare	113c31a26d	Trap missing attr forms during dwarf-scan and shut down dwarf reader, don't crash.	2010-07-02 08:16:04 -07:00
Graydon Hoare	99be02a28d	Indent/outdent when logging dwarf at runtime.	2010-07-02 08:15:27 -07:00
Graydon Hoare	8370b947a4	Wrap long lines.	2010-07-01 23:53:32 -07:00
Graydon Hoare	60c6ae3ad5	Box arguments that are supposed to be boxed.	2010-07-01 23:50:58 -07:00
Graydon Hoare	f0faeaed25	Yeah. Not even a semantic mix-up: just a damn typo.	2010-07-01 23:45:16 -07:00
Graydon Hoare	27d69a88b1	Teach clone_ty to tolerate cloning a mutable (though not state) type.	2010-07-01 23:20:28 -07:00
Graydon Hoare	a2e4d45600	Improve mangling.	2010-07-01 23:15:42 -07:00
Graydon Hoare	f3de4ee2a7	Teach the associative_binary_op_ty_fold about box, mutable and tys.	2010-07-01 23:12:34 -07:00
Graydon Hoare	01cfcfab13	Strip outer 'mutable' off slot when deciding if pred can apply.	2010-07-01 21:20:30 -07:00
Graydon Hoare	2d40bc669c	Retire defunct copy_ty in favour of trans_copy_ty, which invokes the same logic at the bottom.	2010-07-01 21:02:49 -07:00
Graydon Hoare	d0a1b6e914	Reinstate disgusting, filthy workarounds for deriving missing type information. It existed before, we will survive if it exists now.	2010-07-01 20:24:23 -07:00
Graydon Hoare	4273986623	Remove similar over-application of auto-deref from type.	2010-07-01 19:30:35 -07:00
Graydon Hoare	65a87a55a1	Remove too-optimistic (and not harmless) over application of auto-deref in trans.	2010-07-01 19:29:51 -07:00
Graydon Hoare	314af0a44b	Split out and improve trans_init_box.	2010-07-01 19:29:03 -07:00
Graydon Hoare	7df949af40	Add logging to trans_init_slot_from_atom.	2010-07-01 19:28:11 -07:00
Graydon Hoare	6c9832d3ec	Catch ast pretty-printer up with init-tup syntax.	2010-07-01 19:27:20 -07:00
Graydon Hoare	bb018b24f5	Fox the clauses that actually satisfy box and mutable constraints; in all the confusion I had got those wrong.	2010-07-01 18:39:58 -07:00
Graydon Hoare	c27879a1aa	Of course, the LHS constraint on an init-box statement is mutable @.	2010-07-01 18:39:08 -07:00
Graydon Hoare	fdafec39de	Clarify in type logging when we have a constraint vs. a resolved type.	2010-07-01 18:38:28 -07:00
Graydon Hoare	fb7e37842b	Add compile-check target for just attempting to compile, not run, the tests.	2010-07-01 18:37:53 -07:00
Graydon Hoare	f72774db7a	Correct existing reliance on auto-box / unbox behavior in tests.	2010-07-01 18:37:30 -07:00
Graydon Hoare	792d96474e	Box the integer passed to the handle in obj-drop.rs. No more implicit arg-boxing.	2010-07-01 18:04:21 -07:00
Graydon Hoare	2120599387	Establish the box constraint on the dst in STMT_init_box before propagating it to the rval.	2010-07-01 18:03:37 -07:00
Graydon Hoare	c30353d4f9	Remove TYSPEC_loggable. Everything's loggable (or will be, eventually; the backend can catch unimplemented cases until then).	2010-07-01 17:56:20 -07:00
Graydon Hoare	4bec9538cc	Check the simplified type used in check-expr in trans.	2010-07-01 17:55:28 -07:00