Graydon Hoare
|
5b2cc21e4f
|
More corrections to drop/free path to accommodate TY_box.
|
2010-07-03 23:55:21 -07:00 |
|
Graydon Hoare
|
f2ffa57ddf
|
Add stamp target to doc/Makefile.
|
2010-07-03 21:48:31 -07:00 |
|
Graydon Hoare
|
965e5287ba
|
Add concept-index entries to docs, plus fix a few minor nits.
|
2010-07-03 17:29:06 -07:00 |
|
Graydon Hoare
|
df0fa603d0
|
Add version-stamp machinery (and put "Draft + datestamp" into doc footer).
|
2010-07-03 00:27:33 -07:00 |
|
Graydon Hoare
|
cf19c5132a
|
Hey, what's a coding sprint without an uncovered register allocation bug? No fun, I say.
|
2010-07-02 22:44:21 -07:00 |
|
Roy Frostig
|
c5a3c9736a
|
Clarify manual's explanation of unwinding during failure. Add bit about soft vs. hard failure.
|
2010-07-02 18:33:09 -07:00 |
|
Patrick Walton
|
667d46bef9
|
Add an arr_iter2 function to common.ml
|
2010-07-02 18:02:46 -07:00 |
|
Graydon Hoare
|
50e75e049b
|
Deja vu all over again. Something makes me think this is a usability hazard.
|
2010-07-02 17:14:46 -07:00 |
|
Graydon Hoare
|
233be40e25
|
Terminology mop-up.
|
2010-07-02 17:13:02 -07:00 |
|
Graydon Hoare
|
46ebf12f40
|
You may get the feeling that all these changes look eerily the same. You would be correct.
|
2010-07-02 17:04:16 -07:00 |
|
Graydon Hoare
|
3070725cce
|
Simplify type before deciding how to free it. Hint: calling free() on a running task is usually a bad idea.
|
2010-07-02 16:42:42 -07:00 |
|
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 |
|