]>
git.lizzy.rs Git - rust.git/log
Brian Anderson [Wed, 28 Sep 2011 06:04:34 +0000 (23:04 -0700)]
Add Wade Mealing to AUTHORS.txt
Wade Mealing [Tue, 27 Sep 2011 18:15:24 +0000 (04:15 +1000)]
Patch to error instead of crashing when parsing unmatched double quotes
Patch to error and fail instead of using all available memory
then crashing to detect the error condition of an unmatched
double quote before the end of a file.
I couldn't get it to show nice error messages, so this may not be
the ideal fix.
A test case for this situation has also been added.
Brian Anderson [Wed, 28 Sep 2011 05:40:15 +0000 (22:40 -0700)]
Make it again possible to initialize resource locals via assignment
Some special cases allow both 'let a <- my_resource(x)' and
'let a = my_resource(x)' to work as expected despite ostensibly being
copies and moves.
Brian Anderson [Wed, 28 Sep 2011 01:45:35 +0000 (18:45 -0700)]
Prevent copies of resources into various things
Patrick Walton [Wed, 28 Sep 2011 00:14:18 +0000 (17:14 -0700)]
rt: Store the task in TLS
Brian Anderson [Tue, 27 Sep 2011 22:28:25 +0000 (15:28 -0700)]
Add more comments about kind checking on local move initializers
Brian Anderson [Tue, 27 Sep 2011 22:22:06 +0000 (15:22 -0700)]
Add xfailed tests that resources can't be copied into various things
Brian Anderson [Tue, 27 Sep 2011 21:50:55 +0000 (14:50 -0700)]
Don't ever raise unique kinds of pinned kinds to shared (again)
So *resource, ~resource, [resource] are all pinned. This is counter to the
design of the kind system, but this way is a much clearer path to type safety.
Once we've established a good baseline with lots of tests, then we can try to
make raising pinned kinds work.
Brian Anderson [Tue, 27 Sep 2011 22:56:32 +0000 (15:56 -0700)]
Revert "Use DPS for assignment and local initialization"
This reverts commit
b1b202d302d1e84886360f9c8f146b9562db5f23 .
Brian Anderson [Tue, 27 Sep 2011 21:28:20 +0000 (14:28 -0700)]
Add an xfailed test for bogus deep copying of things containing resources
Brian Anderson [Tue, 27 Sep 2011 21:24:18 +0000 (14:24 -0700)]
Add an xfailed test for bogus vector addition of typarams
Patrick Walton [Tue, 27 Sep 2011 21:01:06 +0000 (14:01 -0700)]
doc: Remove `case` from the list of keywords
Patrick Walton [Tue, 27 Sep 2011 20:57:16 +0000 (13:57 -0700)]
doc: Remove `tup` from the list of keywords
Marijn Haverbeke [Tue, 27 Sep 2011 20:49:33 +0000 (22:49 +0200)]
Fix lurking bug in matching of nil
Which was somehow made visible by the DPS changes.
Marijn Haverbeke [Tue, 27 Sep 2011 18:21:44 +0000 (20:21 +0200)]
Use DPS for assignment and local initialization
Issue #667
Marijn Haverbeke [Tue, 27 Sep 2011 18:20:51 +0000 (20:20 +0200)]
Safeguard against self-assignment for unique types
Jesse Ruderman [Tue, 27 Sep 2011 18:05:16 +0000 (11:05 -0700)]
Test for #924
Marijn Haverbeke [Tue, 27 Sep 2011 11:19:55 +0000 (13:19 +0200)]
Move expr_unary to DPS style
Issue #667
Marijn Haverbeke [Tue, 27 Sep 2011 10:02:01 +0000 (12:02 +0200)]
Make trans_rec and trans_tup understand overwrite dests
Issue #667
Marijn Haverbeke [Tue, 27 Sep 2011 08:50:18 +0000 (10:50 +0200)]
Move expr_binary into trans_expr_dps
Issue #667
Marijn Haverbeke [Tue, 27 Sep 2011 06:42:27 +0000 (08:42 +0200)]
Move expr_lit and expr_vec into trans_expr_dps
Issue #667
Marijn Haverbeke [Tue, 27 Sep 2011 06:03:06 +0000 (08:03 +0200)]
Move more non-value-returning things to trans_expr_dps.
Issue #667
Brian Anderson [Tue, 27 Sep 2011 06:45:51 +0000 (23:45 -0700)]
Add two xfailed tests for invalid copies into vectors
Brian Anderson [Tue, 27 Sep 2011 06:34:54 +0000 (23:34 -0700)]
xfail-win32 -> xfail-fast
Brian Anderson [Tue, 27 Sep 2011 06:34:12 +0000 (23:34 -0700)]
Try to appease windows by xfail-win32'ing a random test
Brian Anderson [Tue, 27 Sep 2011 06:24:53 +0000 (23:24 -0700)]
Test for issue #980
Brian Anderson [Tue, 27 Sep 2011 04:57:42 +0000 (21:57 -0700)]
Enforce copy restrictions on let initializers
Brian Anderson [Tue, 27 Sep 2011 04:17:11 +0000 (21:17 -0700)]
Make some nocopy tests a bit more futureproof
Turn the let assignment initializers into move initializers since
that assignment is going to become illegal
Jesse Ruderman [Tue, 27 Sep 2011 03:44:57 +0000 (20:44 -0700)]
Distinguish #924
Jesse Ruderman [Tue, 27 Sep 2011 03:34:07 +0000 (20:34 -0700)]
Add a cycle-collection fuzzer
Brian Anderson [Tue, 27 Sep 2011 03:03:14 +0000 (20:03 -0700)]
Prevent copying of uncopyable things via the copy op
Brian Anderson [Tue, 27 Sep 2011 02:59:49 +0000 (19:59 -0700)]
Prevent copying of uncopyable things via compound assignment ops
Brian Anderson [Tue, 27 Sep 2011 02:56:38 +0000 (19:56 -0700)]
Don't allow vectors of pinned kinds to be copied
Brian Anderson [Tue, 27 Sep 2011 01:43:49 +0000 (18:43 -0700)]
Don't allow copying of unique boxes of pinned kinds
Issue #409
Brian Anderson [Tue, 27 Sep 2011 00:16:34 +0000 (17:16 -0700)]
Add a test that unique boxes in vectors are copied when the vector is
Issue #409
Patrick Walton [Tue, 27 Sep 2011 00:41:22 +0000 (17:41 -0700)]
rt: Don't run arbitrary destructors on cycle collection; that's just broken.
Patrick Walton [Sat, 24 Sep 2011 01:30:22 +0000 (18:30 -0700)]
rt: Turn on cycle collection at task death; add a test case
Patrick Walton [Mon, 26 Sep 2011 22:06:26 +0000 (15:06 -0700)]
rt: Make the logic that moves environments between tasks update the GC alloc chain correctly
Patrick Walton [Mon, 26 Sep 2011 17:51:23 +0000 (10:51 -0700)]
stdlib: Fix typos in comments in lib/test.rs
Brian Anderson [Mon, 26 Sep 2011 23:17:22 +0000 (16:17 -0700)]
Fix configure script to use valgrind again
Brian Anderson [Mon, 26 Sep 2011 21:44:08 +0000 (14:44 -0700)]
Fix tags of unique boxes
Issue #409
Brian Anderson [Mon, 26 Sep 2011 20:38:12 +0000 (13:38 -0700)]
Unique vectors and boxes of pinned are unique kinds. Closes #977
Marijn Haverbeke [Mon, 26 Sep 2011 20:13:08 +0000 (22:13 +0200)]
Construct records and tuples in-place
Issue #667
Now, {a: {b: 10, c: 20}, d: @30} will simply write the values in the right
places, rather than creating intermediary records and then memmoving them.
Cuts about a megabyte off the unoptimized compiler size.
Marijn Haverbeke [Mon, 26 Sep 2011 11:21:47 +0000 (13:21 +0200)]
Convert more expression types to use DPS
expr_rec, expr_tup, most of the exprs that don't return anything. Make
trans_ret almost trivial by using destination adaptors (trans_save_in,
trans_by_ref).
Issue #667
Marijn Haverbeke [Mon, 26 Sep 2011 12:01:41 +0000 (14:01 +0200)]
Add a workaround hack for issue #913
I can't figure out what the real cause of this bug is, but I want
to be able to use blocks inside loops again.
Patrick Walton [Mon, 26 Sep 2011 17:26:30 +0000 (10:26 -0700)]
test: Fix more typos in weird-exprs.rs.
Patrick Walton [Mon, 26 Sep 2011 17:24:46 +0000 (10:24 -0700)]
test: wierd-exprs -> weird-exprs
Patrick Walton [Mon, 26 Sep 2011 17:22:57 +0000 (10:22 -0700)]
rt: Remove obsolete comment
Andreas Gal [Mon, 26 Sep 2011 05:34:10 +0000 (22:34 -0700)]
Merge pull request #978 from erikrose/doc-tweaks
Fix some typos and grammar in the docs.
Erik Rose [Mon, 26 Sep 2011 05:15:44 +0000 (22:15 -0700)]
Fix some typos and grammar in the docs.
Graydon Hoare [Sun, 25 Sep 2011 19:42:39 +0000 (12:42 -0700)]
Refine notes in kind.rs some more. Add a fixme to ty.rs.
Kinds are still pretty wobbly. See thread starting at
https://mail.mozilla.org/pipermail/rust-dev/2011-September/000807.html
Jesse Ruderman [Mon, 26 Sep 2011 04:13:52 +0000 (21:13 -0700)]
Enable hammertime
Jesse Ruderman [Mon, 26 Sep 2011 04:01:50 +0000 (21:01 -0700)]
Test for #973
Jesse Ruderman [Mon, 26 Sep 2011 03:57:44 +0000 (20:57 -0700)]
Test for #942
Jesse Ruderman [Mon, 26 Sep 2011 03:56:19 +0000 (20:56 -0700)]
Remove FIXME test that's covered by run-pass/unreachable-code.rs
Marijn Haverbeke [Mon, 26 Sep 2011 02:11:35 +0000 (04:11 +0200)]
Make return-by-ref function headers pretty-print safely
Closes #972
Marijn Haverbeke [Mon, 26 Sep 2011 02:08:45 +0000 (04:08 +0200)]
Don't call trans_bind_thunk in an unreachable context
Closes #973
Marijn Haverbeke [Mon, 26 Sep 2011 01:57:08 +0000 (03:57 +0200)]
Make 'fail fail;' compile.
Closes #972
Marijn Haverbeke [Mon, 26 Sep 2011 01:56:39 +0000 (03:56 +0200)]
Fix bug in mutability-checking pass
It wasn't properly handling function arguments.
Jesse Ruderman [Sun, 25 Sep 2011 19:24:42 +0000 (12:24 -0700)]
Fuzzer: stop ignoring fixed bugs
Brian Anderson [Sun, 25 Sep 2011 06:46:28 +0000 (23:46 -0700)]
Handle ~fail. Closes #968
Brian Anderson [Sun, 25 Sep 2011 04:31:28 +0000 (21:31 -0700)]
Add a test for assignment of unique boxes of generics
Closes #976
Issue #409
Brian Anderson [Sun, 25 Sep 2011 04:20:36 +0000 (21:20 -0700)]
Support non-immediates in trans_uniq::copy_val
Issue #409
Jesse Ruderman [Sun, 25 Sep 2011 04:01:39 +0000 (21:01 -0700)]
Fuzzer: ignore more bugs
Lindsey Kuper [Sun, 25 Sep 2011 02:47:20 +0000 (22:47 -0400)]
Small refactors.
Factor out some shared code from the start of process_fwding_mthd and
process_bkwding_mthd; get rid of unneeded temp variable.
Jesse Ruderman [Sat, 24 Sep 2011 23:33:26 +0000 (16:33 -0700)]
Reduce and clarify abuse of 'pure' in interner
Jesse Ruderman [Sat, 24 Sep 2011 23:13:32 +0000 (16:13 -0700)]
Don't iloop (future-proof test against improved reachability computations)
Jesse Ruderman [Sat, 24 Sep 2011 23:11:50 +0000 (16:11 -0700)]
Remove irrelevant parts of test
Jesse Ruderman [Sat, 24 Sep 2011 22:36:09 +0000 (15:36 -0700)]
Mark some fns as pure so type_is_unique_box doesn't need to be unchecked
Jesse Ruderman [Sat, 24 Sep 2011 22:10:03 +0000 (15:10 -0700)]
Mark vec::len as pure
Brian Anderson [Sat, 24 Sep 2011 21:44:42 +0000 (14:44 -0700)]
Tweak random thing to make windows build succeed. Awesome.
So, a recent commit made syntax-extension-fmt fail under check-fast.
This commit disables lots-a-fail under check-fast and voila! *grumble*
Brian Anderson [Sat, 24 Sep 2011 09:01:13 +0000 (02:01 -0700)]
Move a previous run-pass test for kind-lowered unique boxes to compile-fail
This test tries to swap unique boxes containing resources, which is not
allowed.
Issue #409
Brian Anderson [Sat, 24 Sep 2011 08:52:45 +0000 (01:52 -0700)]
Tweak the type allocated for unique pointers
Seems to be more correctish...
Issue #409
Brian Anderson [Sat, 24 Sep 2011 06:00:46 +0000 (23:00 -0700)]
Support non-immediates in unique-box type glue
Issue #409
Brian Anderson [Sat, 24 Sep 2011 01:50:00 +0000 (18:50 -0700)]
Vectors containing pinned kinds become pinned
Otherwise they could be copied
Brian Anderson [Sat, 24 Sep 2011 01:13:49 +0000 (18:13 -0700)]
Unique pointers containing pinned kinds become pinned
Issue #409
Brian Anderson [Sat, 24 Sep 2011 00:14:41 +0000 (17:14 -0700)]
Add tests for swapping unique boxes
Issue #409
Jesse Ruderman [Sat, 24 Sep 2011 06:24:43 +0000 (23:24 -0700)]
Add rand_util.rs
Jesse Ruderman [Sat, 24 Sep 2011 06:23:04 +0000 (23:23 -0700)]
Fuzzer: use different exclusions when testing pretty-printer than when testing compiler
Jesse Ruderman [Sat, 24 Sep 2011 02:10:48 +0000 (19:10 -0700)]
Add vec::filter
Patrick Walton [Sat, 24 Sep 2011 00:56:55 +0000 (17:56 -0700)]
rt: Sweep in cycle collection
Patrick Walton [Sat, 24 Sep 2011 00:14:49 +0000 (17:14 -0700)]
rt: Whitespace police
Patrick Walton [Sat, 24 Sep 2011 00:08:50 +0000 (17:08 -0700)]
rt: Turn off some debug code
Patrick Walton [Fri, 23 Sep 2011 23:51:50 +0000 (16:51 -0700)]
rt: Get rid of the hack that looks for captured type descriptors adjacent to the root one for functions and objects
Erick Tryzelaar [Fri, 23 Sep 2011 23:47:04 +0000 (16:47 -0700)]
Add libuv upgrade instructions to src/etc/gyp-uv
Erick Tryzelaar [Fri, 23 Sep 2011 23:13:14 +0000 (16:13 -0700)]
Update to libuv commit 3ca382.
This patch changes libuv's gyp build system to
make it's own makefiles. To generate them for rust,
run these commands. They requires python 2.x to
work:
$ mkdir -p src/rt/libuv/build
$ svn co http://gyp.googlecode.com/svn src/rt/libuv/build/gyp
$ ./etc/src/gyp_uv
Brian Anderson [Fri, 23 Sep 2011 23:08:30 +0000 (16:08 -0700)]
Add let destructuring for unique boxes
Issue #409
Brian Anderson [Fri, 23 Sep 2011 22:58:57 +0000 (15:58 -0700)]
Add missing case for pat_uniq to syntax::visit
Issue #409
Brian Anderson [Fri, 23 Sep 2011 22:32:31 +0000 (15:32 -0700)]
Add two tests for sending unique boxes across channels
Issue #409
Brian Anderson [Fri, 23 Sep 2011 22:23:44 +0000 (15:23 -0700)]
Actually use unique boxes in run-fail/unwind-unique
Brian Anderson [Fri, 23 Sep 2011 21:58:06 +0000 (14:58 -0700)]
Create a bunch of test cases for unique boxes by copying box tests
XFAIL the ones that don't work
Issue #409
Brian Anderson [Fri, 23 Sep 2011 18:15:17 +0000 (11:15 -0700)]
Begin to support pattern matching on unique boxes
Issue #409
Patrick Walton [Fri, 23 Sep 2011 22:14:44 +0000 (15:14 -0700)]
rt: Add missing <stdint.h> in rust_abi.h
Patrick Walton [Fri, 23 Sep 2011 22:08:37 +0000 (15:08 -0700)]
rt: Add missing const on the Windows path
Patrick Walton [Fri, 23 Sep 2011 22:05:24 +0000 (15:05 -0700)]
rt: Get RUST_TRACK_ORIGINS working. You can now call 'debug::dump_origin' in gdb and get a backtrace saying where a box came from.
Jesse Ruderman [Fri, 23 Sep 2011 22:01:19 +0000 (15:01 -0700)]
Add more unreachable-code tests. Closes #935
Marijn Haverbeke [Fri, 23 Sep 2011 21:37:15 +0000 (23:37 +0200)]
Properly mark unreachable alt bodies as unreachable
Marijn Haverbeke [Fri, 23 Sep 2011 21:20:19 +0000 (23:20 +0200)]
Make AddIncomingToPhi take single values rather than arrays
Marijn Haverbeke [Fri, 23 Sep 2011 19:13:50 +0000 (21:13 +0200)]
Start on a piecemeal conversion to DPS
Issue #667
Wires in a basic framework for destination-passing style, with
backwards-compatibility to the old approach, so that expression types
can be moved over to it one at a time (by moving them from trans_expr
to trans_expr_dps).
Marijn Haverbeke [Fri, 23 Sep 2011 19:13:38 +0000 (21:13 +0200)]
Don't return unused values from zero_alloca and trans_stmt