Commit Graph

14966 Commits

Author SHA1 Message Date
Niko Matsakis ef4c060594 Address @catamorphism's comments regarding docs 2013-01-28 10:01:59 -08:00
Niko Matsakis 4b15bfde81 loan: Track whether or not the current path owns the data being
lent.  We can be more liberal with respect to the scope of the loan
if we do not own the data being lent, which used to be impossible
but can now occur with `&mut`.

r=pcwalton
2013-01-28 10:01:59 -08:00
Niko Matsakis b4acde3bf7 remove unused variable 2013-01-28 10:01:59 -08:00
Niko Matsakis e6cadc4c03 remove hacks now that #3148 is fixed
r=brson
2013-01-28 10:01:59 -08:00
Niko Matsakis 2b67d88809 Rewrite the coercion code to be more readable, more sound, and to reborrow when
needed.

Regarding soundness: there was a subtle bug in how it was done before; see the
compile-fail test for an example.

Regarding reborrowing: reborrowing allows mut and const
slices/borrowed-pointers to be used with pure fns that expect immutable data.

r=brson
2013-01-28 10:01:59 -08:00
Niko Matsakis c07ae16de1 rename assign to coerce, remove some bad copies
r=brson
2013-01-28 10:01:59 -08:00
Niko Matsakis 05b6df49b8 Refactor to make inference code around unification more readable
r=brson
2013-01-28 10:01:59 -08:00
Niko Matsakis 923b3154c6 Do not try to encode/decode inference types, should not be necessary
r=brson
2013-01-28 10:01:59 -08:00
Niko Matsakis 19e015c44a Add to_str() definitions for some AST types
r=brson
2013-01-28 10:01:59 -08:00
Niko Matsakis 08bc19cbcd Remove bounds from type decl of smallintmap
r=brson
2013-01-28 10:01:55 -08:00
Niko Matsakis a4ba11189d Extend region guarantor logic to handle autoref, which will
be necessary for reborrowing.

r=catamorphism
2013-01-28 10:00:41 -08:00
Niko Matsakis 8f14d43206 Make tidy actually work
r=catamorphism
2013-01-28 10:00:39 -08:00
Niko Matsakis 0004be9eca Detect "// WARN" in tidy and print out, well, a warning! Useful
for notating FIXME-style-situations that you want to be reminded
of before you commit.

r=catamorphism
2013-01-28 10:00:35 -08:00
Niko Matsakis 2e10ea58c3 Integrate vec patterns into borrow checker.
The tail portion of the pattern effectively borrows a vector,
but the borrow checker knew nothing about this.

r=catamorphism
2013-01-28 10:00:32 -08:00
Niko Matsakis d4fd30c6ac Link the lifetimes of regions resulting from borrows of the
contents of other borrowed pointers to the lifetimes of the
borrowed value.  Fixes #3148.

r=catamorphism
2013-01-28 10:00:23 -08:00
Cody Schroeder 6a4d1855bf std: implement lexicographical Ord for TreeMap/TreeSet 2013-01-26 16:39:17 -08:00
Brian Anderson 83ca034d2e Merge remote-tracking branch 'brson/nocommupstream2' 2013-01-26 14:57:58 -08:00
Graydon Hoare 2372d2c6a8 register more-conservative linux snap 2013-01-26 14:11:34 -08:00
Tim Chevalier bb183b93ea testsuite: Eliminate structural records from run-fail tests 2013-01-26 11:38:00 -08:00
Tim Chevalier 72b669df43 fuzzer: Remove structural records 2013-01-26 11:35:17 -08:00
Tim Chevalier e910e601a6 cargo: remove structural records 2013-01-26 11:35:17 -08:00
Tim Chevalier 0743cec023 core: Remove structural records in library tests 2013-01-26 11:35:17 -08:00
Tim Chevalier 6d4907a742 testsuite: Eliminate uses of structural records from most run-pass tests
Except the pipes tests (that needs a snapshot)
2013-01-26 11:35:17 -08:00
Tim Chevalier 413be829eb Merge pull request #4646 from codeblack08/fix-contributing-links
Fix links in CONTRIBUTING.md
2013-01-26 00:20:02 -08:00
Cody Schroeder 6707b7d08e Fix links in CONTRIBUTING.md 2013-01-26 00:09:13 -08:00
Tim Chevalier 0cbea8dd0c Add Tyler Bindon to AUTHORS 2013-01-25 19:22:13 -08:00
Tim Chevalier 2c78169508 Merge pull request #4644 from martica/camel-case-option
Update more uses of Option, Some and None to camel case
2013-01-25 19:21:16 -08:00
Tim Chevalier 41adf9d8ef rustc: Make build_wrap_ret compile on Windows and unrevert ABI patch
This reverts commit 625405562c.
2013-01-25 18:57:01 -08:00
Tyler Bindon c89afc3971 Fix Option camel case in a compile-fail test
The compile fails for another reason, that triggers before the the failure for non-camel cased option, some or none undefined errors.
2013-01-25 19:42:24 -07:00
Tyler Bindon 5a69cd75fb Fix Option camel case in commented portion of test 2013-01-25 19:42:24 -07:00
Tyler Bindon 633b40f75d Fix Option camel case in debug messages 2013-01-25 19:42:23 -07:00
Tyler Bindon edc94f5c23 Fix Option camel case in xfailed/ignored tests 2013-01-25 19:42:23 -07:00
Tyler Bindon 3a5d2cdbf3 Fix Option camel case in comments 2013-01-25 19:42:23 -07:00
Tyler Bindon 7ff7489dc6 Fix Option camel case in error message 2013-01-25 19:42:23 -07:00
Brian Anderson 1ef83945c1 Merge remote-tracking branch 'brson/nocommupstream'
Conflicts:
	src/libcore/private.rs
	src/libcore/task/mod.rs
	src/libcore/task/spawn.rs
	src/libstd/net_tcp.rs
	src/libstd/uv_global_loop.rs
	src/libstd/uv_iotask.rs
2013-01-25 18:06:30 -08:00
Tim Chevalier 198b513fc0 Add Cody Schroeder to AUTHORS 2013-01-25 18:05:17 -08:00
Tim Chevalier cf23ccf9b6 Merge pull request #4642 from codeblack08/unwrap-pub
Declare std::arc::unwrap to be pub
2013-01-25 18:04:17 -08:00
Cody Schroeder 265b33c239 Declare std::arc::unwrap to be pub 2013-01-25 17:25:41 -08:00
Tim Chevalier d753ad4ee4 testsuite: Fix Windows breakage harder in x86stdcall2 2013-01-25 16:58:04 -08:00
Graydon Hoare d1f771ca34 test: fix x86stdcall test, r=burningtree. 2013-01-25 15:18:45 -08:00
Graydon Hoare 10eb620537 register snapshots 2013-01-25 15:06:07 -08:00
Brian Anderson ff9139605c Start running the libsyntax unit tests. #4618 2013-01-25 14:49:02 -08:00
Tim Chevalier d73077f82d Revert "Merge pull request #4633 from thestinger/treemap"
I was too hasty in merging -- this needs a snapshot.

This reverts commit 4a7e1ab374, reversing
changes made to e447521c1c.
2013-01-25 13:39:04 -08:00
John Clements 18f1dba510 doc typo 2013-01-25 11:58:33 -08:00
Tim Chevalier 85a34c2898 Merge pull request #4625 from thestinger/container
more little container improvements
2013-01-25 11:57:51 -08:00
Tim Chevalier 4a7e1ab374 Merge pull request #4633 from thestinger/treemap
use mutable function argument syntax in treemap/priority_queue
2013-01-25 11:52:57 -08:00
Daniel Micay ca8f09a39e use mut function argument syntax in priority_queue 2013-01-25 13:28:43 -05:00
Daniel Micay aff3db26aa use mutable function argument syntax in treemap 2013-01-25 10:55:18 -05:00
Brian Anderson 19aa88cd64 Stop using oldcomm in uv_global_loop tests 2013-01-24 23:55:11 -08:00
Tim Chevalier e447521c1c std: Mop up Mac/Linux breakage 2013-01-24 22:02:09 -08:00