]> git.lizzy.rs Git - rust.git/log
rust.git
12 years agoAdd Wade Mealing to AUTHORS.txt
Brian Anderson [Wed, 28 Sep 2011 06:04:34 +0000 (23:04 -0700)]
Add Wade Mealing to AUTHORS.txt

12 years agoPatch to error instead of crashing when parsing unmatched double quotes
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.

12 years agoMake it again possible to initialize resource locals via assignment
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.

12 years agoPrevent copies of resources into various things
Brian Anderson [Wed, 28 Sep 2011 01:45:35 +0000 (18:45 -0700)]
Prevent copies of resources into various things

12 years agort: Store the task in TLS
Patrick Walton [Wed, 28 Sep 2011 00:14:18 +0000 (17:14 -0700)]
rt: Store the task in TLS

12 years agoAdd more comments about kind checking on local move initializers
Brian Anderson [Tue, 27 Sep 2011 22:28:25 +0000 (15:28 -0700)]
Add more comments about kind checking on local move initializers

12 years agoAdd xfailed tests that resources can't be copied into various things
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

12 years agoDon't ever raise unique kinds of pinned kinds to shared (again)
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.

12 years agoRevert "Use DPS for assignment and local initialization"
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.

12 years agoAdd an xfailed test for bogus deep copying of things containing resources
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

12 years agoAdd an xfailed test for bogus vector addition of typarams
Brian Anderson [Tue, 27 Sep 2011 21:24:18 +0000 (14:24 -0700)]
Add an xfailed test for bogus vector addition of typarams

12 years agodoc: Remove `case` from the list of keywords
Patrick Walton [Tue, 27 Sep 2011 21:01:06 +0000 (14:01 -0700)]
doc: Remove `case` from the list of keywords

12 years agodoc: Remove `tup` 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

12 years agoFix lurking bug in matching of nil
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.

12 years agoUse DPS for assignment and local initialization
Marijn Haverbeke [Tue, 27 Sep 2011 18:21:44 +0000 (20:21 +0200)]
Use DPS for assignment and local initialization

Issue #667

12 years agoSafeguard against self-assignment for unique types
Marijn Haverbeke [Tue, 27 Sep 2011 18:20:51 +0000 (20:20 +0200)]
Safeguard against self-assignment for unique types

12 years agoTest for #924
Jesse Ruderman [Tue, 27 Sep 2011 18:05:16 +0000 (11:05 -0700)]
Test for #924

12 years agoMove expr_unary to DPS style
Marijn Haverbeke [Tue, 27 Sep 2011 11:19:55 +0000 (13:19 +0200)]
Move expr_unary to DPS style

Issue #667

12 years agoMake trans_rec and trans_tup understand overwrite dests
Marijn Haverbeke [Tue, 27 Sep 2011 10:02:01 +0000 (12:02 +0200)]
Make trans_rec and trans_tup understand overwrite dests

Issue #667

12 years agoMove expr_binary into trans_expr_dps
Marijn Haverbeke [Tue, 27 Sep 2011 08:50:18 +0000 (10:50 +0200)]
Move expr_binary into trans_expr_dps

Issue #667

12 years agoMove expr_lit and expr_vec into trans_expr_dps
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

12 years agoMove more non-value-returning things to trans_expr_dps.
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

12 years agoAdd two xfailed tests for invalid copies into vectors
Brian Anderson [Tue, 27 Sep 2011 06:45:51 +0000 (23:45 -0700)]
Add two xfailed tests for invalid copies into vectors

12 years agoxfail-win32 -> xfail-fast
Brian Anderson [Tue, 27 Sep 2011 06:34:54 +0000 (23:34 -0700)]
xfail-win32 -> xfail-fast

12 years agoTry to appease windows by xfail-win32'ing a random test
Brian Anderson [Tue, 27 Sep 2011 06:34:12 +0000 (23:34 -0700)]
Try to appease windows by xfail-win32'ing a random test

12 years agoTest for issue #980
Brian Anderson [Tue, 27 Sep 2011 06:24:53 +0000 (23:24 -0700)]
Test for issue #980

12 years agoEnforce copy restrictions on let initializers
Brian Anderson [Tue, 27 Sep 2011 04:57:42 +0000 (21:57 -0700)]
Enforce copy restrictions on let initializers

12 years agoMake some nocopy tests a bit more futureproof
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

12 years agoDistinguish #924
Jesse Ruderman [Tue, 27 Sep 2011 03:44:57 +0000 (20:44 -0700)]
Distinguish #924

12 years agoAdd a cycle-collection fuzzer
Jesse Ruderman [Tue, 27 Sep 2011 03:34:07 +0000 (20:34 -0700)]
Add a cycle-collection fuzzer

12 years agoPrevent copying of uncopyable things via the copy op
Brian Anderson [Tue, 27 Sep 2011 03:03:14 +0000 (20:03 -0700)]
Prevent copying of uncopyable things via the copy op

12 years agoPrevent copying of uncopyable things via compound assignment ops
Brian Anderson [Tue, 27 Sep 2011 02:59:49 +0000 (19:59 -0700)]
Prevent copying of uncopyable things via compound assignment ops

12 years agoDon't allow vectors of pinned kinds to be copied
Brian Anderson [Tue, 27 Sep 2011 02:56:38 +0000 (19:56 -0700)]
Don't allow vectors of pinned kinds to be copied

12 years agoDon't allow copying of unique boxes of pinned kinds
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

12 years agoAdd a test that unique boxes in vectors are copied when the vector is
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

12 years agort: Don't run arbitrary destructors on cycle collection; that's just broken.
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.

12 years agort: Turn on cycle collection at task death; add a test case
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

12 years agort: Make the logic that moves environments between tasks update the GC alloc chain...
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

12 years agostdlib: Fix typos in comments in lib/test.rs
Patrick Walton [Mon, 26 Sep 2011 17:51:23 +0000 (10:51 -0700)]
stdlib: Fix typos in comments in lib/test.rs

12 years agoFix configure script to use valgrind again
Brian Anderson [Mon, 26 Sep 2011 23:17:22 +0000 (16:17 -0700)]
Fix configure script to use valgrind again

12 years agoFix tags of unique boxes
Brian Anderson [Mon, 26 Sep 2011 21:44:08 +0000 (14:44 -0700)]
Fix tags of unique boxes

Issue #409

12 years agoUnique vectors and boxes of pinned are unique kinds. Closes #977
Brian Anderson [Mon, 26 Sep 2011 20:38:12 +0000 (13:38 -0700)]
Unique vectors and boxes of pinned are unique kinds. Closes #977

12 years agoConstruct records and tuples in-place
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.

12 years agoConvert more expression types to use DPS
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

12 years agoAdd a workaround hack for issue #913
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.

12 years agotest: Fix more typos in weird-exprs.rs.
Patrick Walton [Mon, 26 Sep 2011 17:26:30 +0000 (10:26 -0700)]
test: Fix more typos in weird-exprs.rs.

12 years agotest: wierd-exprs -> weird-exprs
Patrick Walton [Mon, 26 Sep 2011 17:24:46 +0000 (10:24 -0700)]
test: wierd-exprs -> weird-exprs

12 years agort: Remove obsolete comment
Patrick Walton [Mon, 26 Sep 2011 17:22:57 +0000 (10:22 -0700)]
rt: Remove obsolete comment

12 years agoMerge pull request #978 from erikrose/doc-tweaks
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.

12 years agoFix 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.

12 years agoRefine notes in kind.rs some more. Add a fixme to ty.rs.
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

12 years agoEnable hammertime
Jesse Ruderman [Mon, 26 Sep 2011 04:13:52 +0000 (21:13 -0700)]
Enable hammertime

12 years agoTest for #973
Jesse Ruderman [Mon, 26 Sep 2011 04:01:50 +0000 (21:01 -0700)]
Test for #973

12 years agoTest for #942
Jesse Ruderman [Mon, 26 Sep 2011 03:57:44 +0000 (20:57 -0700)]
Test for #942

12 years agoRemove FIXME test that's covered by run-pass/unreachable-code.rs
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

12 years agoMake return-by-ref function headers pretty-print safely
Marijn Haverbeke [Mon, 26 Sep 2011 02:11:35 +0000 (04:11 +0200)]
Make return-by-ref function headers pretty-print safely

Closes #972

12 years agoDon't call trans_bind_thunk in an unreachable context
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

12 years agoMake 'fail fail;' compile.
Marijn Haverbeke [Mon, 26 Sep 2011 01:57:08 +0000 (03:57 +0200)]
Make 'fail fail;' compile.

Closes #972

12 years agoFix bug in mutability-checking pass
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.

12 years agoFuzzer: stop ignoring fixed bugs
Jesse Ruderman [Sun, 25 Sep 2011 19:24:42 +0000 (12:24 -0700)]
Fuzzer: stop ignoring fixed bugs

12 years agoHandle ~fail. Closes #968
Brian Anderson [Sun, 25 Sep 2011 06:46:28 +0000 (23:46 -0700)]
Handle ~fail. Closes #968

12 years agoAdd a test for assignment of unique boxes of generics
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

12 years agoSupport non-immediates in trans_uniq::copy_val
Brian Anderson [Sun, 25 Sep 2011 04:20:36 +0000 (21:20 -0700)]
Support non-immediates in trans_uniq::copy_val

Issue #409

12 years agoFuzzer: ignore more bugs
Jesse Ruderman [Sun, 25 Sep 2011 04:01:39 +0000 (21:01 -0700)]
Fuzzer: ignore more bugs

12 years agoSmall refactors.
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.

12 years agoReduce and clarify abuse of 'pure' in interner
Jesse Ruderman [Sat, 24 Sep 2011 23:33:26 +0000 (16:33 -0700)]
Reduce and clarify abuse of 'pure' in interner

12 years agoDon't iloop (future-proof test against improved reachability computations)
Jesse Ruderman [Sat, 24 Sep 2011 23:13:32 +0000 (16:13 -0700)]
Don't iloop (future-proof test against improved reachability computations)

12 years agoRemove irrelevant parts of test
Jesse Ruderman [Sat, 24 Sep 2011 23:11:50 +0000 (16:11 -0700)]
Remove irrelevant parts of test

12 years agoMark some fns as pure so type_is_unique_box doesn't need to be unchecked
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

12 years agoMark vec::len as pure
Jesse Ruderman [Sat, 24 Sep 2011 22:10:03 +0000 (15:10 -0700)]
Mark vec::len as pure

12 years agoTweak random thing to make windows build succeed. Awesome.
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*

12 years agoMove a previous run-pass test for kind-lowered unique boxes to compile-fail
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

12 years agoTweak the type allocated for unique pointers
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

12 years agoSupport non-immediates in unique-box type glue
Brian Anderson [Sat, 24 Sep 2011 06:00:46 +0000 (23:00 -0700)]
Support non-immediates in unique-box type glue

Issue #409

12 years agoVectors containing pinned kinds become pinned
Brian Anderson [Sat, 24 Sep 2011 01:50:00 +0000 (18:50 -0700)]
Vectors containing pinned kinds become pinned

Otherwise they could be copied

12 years agoUnique pointers containing pinned kinds become pinned
Brian Anderson [Sat, 24 Sep 2011 01:13:49 +0000 (18:13 -0700)]
Unique pointers containing pinned kinds become pinned

Issue #409

12 years agoAdd tests for swapping unique boxes
Brian Anderson [Sat, 24 Sep 2011 00:14:41 +0000 (17:14 -0700)]
Add tests for swapping unique boxes

Issue #409

12 years agoAdd rand_util.rs
Jesse Ruderman [Sat, 24 Sep 2011 06:24:43 +0000 (23:24 -0700)]
Add rand_util.rs

12 years agoFuzzer: use different exclusions when testing pretty-printer than when testing compiler
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

12 years agoAdd vec::filter
Jesse Ruderman [Sat, 24 Sep 2011 02:10:48 +0000 (19:10 -0700)]
Add vec::filter

12 years agort: Sweep in cycle collection
Patrick Walton [Sat, 24 Sep 2011 00:56:55 +0000 (17:56 -0700)]
rt: Sweep in cycle collection

12 years agort: Whitespace police
Patrick Walton [Sat, 24 Sep 2011 00:14:49 +0000 (17:14 -0700)]
rt: Whitespace police

12 years agort: Turn off some debug code
Patrick Walton [Sat, 24 Sep 2011 00:08:50 +0000 (17:08 -0700)]
rt: Turn off some debug code

12 years agort: Get rid of the hack that looks for captured type descriptors adjacent to the...
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

12 years agoAdd libuv upgrade instructions to src/etc/gyp-uv
Erick Tryzelaar [Fri, 23 Sep 2011 23:47:04 +0000 (16:47 -0700)]
Add libuv upgrade instructions to src/etc/gyp-uv

12 years agoUpdate to libuv commit 3ca382.
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

12 years agoAdd let destructuring for unique boxes
Brian Anderson [Fri, 23 Sep 2011 23:08:30 +0000 (16:08 -0700)]
Add let destructuring for unique boxes

Issue #409

12 years agoAdd missing case for pat_uniq to syntax::visit
Brian Anderson [Fri, 23 Sep 2011 22:58:57 +0000 (15:58 -0700)]
Add missing case for pat_uniq to syntax::visit

Issue #409

12 years agoAdd two tests for sending unique boxes across channels
Brian Anderson [Fri, 23 Sep 2011 22:32:31 +0000 (15:32 -0700)]
Add two tests for sending unique boxes across channels

Issue #409

12 years agoActually use unique boxes in run-fail/unwind-unique
Brian Anderson [Fri, 23 Sep 2011 22:23:44 +0000 (15:23 -0700)]
Actually use unique boxes in run-fail/unwind-unique

12 years agoCreate a bunch of test cases for unique boxes by copying box tests
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

12 years agoBegin to support pattern matching on unique boxes
Brian Anderson [Fri, 23 Sep 2011 18:15:17 +0000 (11:15 -0700)]
Begin to support pattern matching on unique boxes

Issue #409

12 years agort: Add missing <stdint.h> in rust_abi.h
Patrick Walton [Fri, 23 Sep 2011 22:14:44 +0000 (15:14 -0700)]
rt: Add missing <stdint.h> in rust_abi.h

12 years agort: Add missing const on the Windows path
Patrick Walton [Fri, 23 Sep 2011 22:08:37 +0000 (15:08 -0700)]
rt: Add missing const on the Windows path

12 years agort: Get RUST_TRACK_ORIGINS working. You can now call 'debug::dump_origin' in gdb...
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.

12 years agoAdd more unreachable-code tests. Closes #935
Jesse Ruderman [Fri, 23 Sep 2011 22:01:19 +0000 (15:01 -0700)]
Add more unreachable-code tests. Closes #935

12 years agoProperly mark unreachable alt bodies as unreachable
Marijn Haverbeke [Fri, 23 Sep 2011 21:37:15 +0000 (23:37 +0200)]
Properly mark unreachable alt bodies as unreachable

12 years agoMake AddIncomingToPhi take single values rather than arrays
Marijn Haverbeke [Fri, 23 Sep 2011 21:20:19 +0000 (23:20 +0200)]
Make AddIncomingToPhi take single values rather than arrays

12 years agoStart on a piecemeal conversion to DPS
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).

12 years agoDon't return unused values from zero_alloca and trans_stmt
Marijn Haverbeke [Fri, 23 Sep 2011 19:13:38 +0000 (21:13 +0200)]
Don't return unused values from zero_alloca and trans_stmt