Commit Graph

43764 Commits

Author SHA1 Message Date
bors
4b42cbd5eb Auto merge of #24527 - nikomatsakis:issue-24085, r=nikomatsakis
Expand the "givens" set to cover transitive relations.  The givens array
stores relationships like `'c <= '0` (where `'c` is a free region and
`'0` is an inference variable) that are derived from closure
arguments. These are (rather hackily) ignored for purposes of inference,
preventing spurious errors. The current code did not handle transitive
cases like `'c <= '0` and `'0 <= '1`. Fixes #24085.

r? @pnkfelix 
cc @bkoropoff

*But* I am not sure whether this fix will have a compile-time hit. I'd like to push to try branch observe cycle times.
2015-06-19 22:56:38 +00:00
Alexis Beingessner
e132f0bc8e add note for future type-system adventurers 2015-06-19 15:03:39 -07:00
Corey Farwell
68bb164429 Add regression tests for #23649
Closes #23649
2015-06-19 14:58:57 -07:00
bors
e4efb47b9d Auto merge of #26351 - eddyb:tls-tcx, r=nikomatsakis
Pre-requisite for splitting the type context into global and local parts.
The `Repr` and `UserString` traits were also replaced by `Debug` and `Display`.
2015-06-19 20:43:14 +00:00
Peter Atashian
c8aec53db7 Add a test for Debug for io::Error
Signed-off-by: Peter Atashian <retep998@gmail.com>
2015-06-19 12:55:59 -04:00
bors
89485b2b6b Auto merge of #26428 - Manishearth:rollup, r=Manishearth
- Successful merges: #26388, #26401, #26414, #26427
- Failed merges:
2015-06-19 16:42:17 +00:00
Philip Munksgaard
4fd04c34cd Add test for #24227 2015-06-19 18:36:54 +02:00
Niko Matsakis
29c86539b3 Expand the "givens" set to cover transitive relations. The givens array
stores relationships like `'c <= '0` (where `'c` is a free region and
`'0` is an inference variable) that are derived from closure
arguments. These are (rather hackily) ignored for purposes of inference,
preventing spurious errors. The current code did not handle transitive
cases like `'c <= '0` and `'0 <= '1`. Fixes #24085.
2015-06-19 12:22:03 -04:00
Steve Klabnik
1620acf3ad Fix docs for column/line
Fixes #26424
2015-06-19 11:22:37 -04:00
arielb1
51336064b1 address review comments 2015-06-19 17:10:26 +03:00
Manish Goregaokar
a760d054ef Rollup merge of #26427 - GuillaumeGomez:patch-7, r=Manishearth
See #26396, #26400, #26399, #26398 and #26393.
2015-06-19 17:41:10 +05:30
Manish Goregaokar
812a3f044f Rollup merge of #26414 - alexcrichton:msvc-fix-build, r=brson
Currently all these do is cause linker errors as they try to lower to GNU-like
exception handling, none of which exists with MSVC.
2015-06-19 17:41:09 +05:30
Manish Goregaokar
da55e244a6 Rollup merge of #26401 - jooert:fix26360, r=steveklabnik
Fixes #26360.

r? @steveklabnik
2015-06-19 17:41:09 +05:30
Manish Goregaokar
c16780a3ff Rollup merge of #26388 - frewsxcv:regression-tests-21622, r=alexcrichton
Closes #21622
2015-06-19 17:41:09 +05:30
Guillaume Gomez
9679faa97a Remove error codes from macro 2015-06-19 14:06:33 +02:00
Guillaume Gomez
2015eb881e Replace "Bad example" by a better sentence 2015-06-19 14:05:11 +02:00
Guillaume Gomez
6471dccd3b Add E0016 explanation 2015-06-19 14:03:07 +02:00
Guillaume Gomez
8c5572fc21 Add Universal Function Call Syntax example 2015-06-19 14:01:55 +02:00
Guillaume Gomez
d4c37088ca Add E0034 error explanation 2015-06-19 13:59:51 +02:00
Guillaume Gomez
b4481e68de Remove unneeded indentation 2015-06-19 13:58:52 +02:00
Guillaume Gomez
04888e7c60 Add E0035 error explanation 2015-06-19 13:58:15 +02:00
Guillaume Gomez
00e115d090 Good time concordance 2015-06-19 13:56:53 +02:00
Guillaume Gomez
98205afe0b Add E0036 error explanation 2015-06-19 13:54:57 +02:00
Dave Huseby
ea652351b4 updating installer to fix install issues on bitrig 2015-06-18 23:43:46 -07:00
Peter Atashian
9a6b611a07 Custom Debug impl for io::Error
Fixes #26408

Signed-off-by: Peter Atashian <retep998@gmail.com>
2015-06-18 22:16:46 -04:00
Brian Anderson
f14a0e2de4 Make a better error message for using #[feature] on stable rust
It now says '#[feature] may not be used on the stable release channel'.

I had to convert this error from a lint to a normal compiler error.

I left the lint previously-used for this in place since removing it is
a breaking change. It will just go unused until the end of time.

Fixes #24125
2015-06-18 17:38:38 -07:00
bors
2f5683913c Auto merge of #26413 - alexcrichton:from-raw-fd-prelude, r=sfackler
These were just left out by mistake!
2015-06-18 23:28:41 +00:00
Alex Crichton
45f830b18c std: Add FromRaw{Fd,Handle,Socket} to os preludes
These were just left out by mistake!
2015-06-18 16:14:50 -07:00
Eduard Burtescu
6eed1662af Remove extra fmt::Debug impl for VtableClosureData from #26147. 2015-06-19 01:45:20 +03:00
Eduard Burtescu
d914831145 rustc: add more doc comments to ty::Lift and ty::with_ctxt. 2015-06-19 01:39:26 +03:00
Eduard Burtescu
0b58fdf925 rustc: remove Repr and UserString. 2015-06-19 01:39:26 +03:00
Eduard Burtescu
dfbc9608ce rustc: replace Repr/UserString impls with Debug/Display ones. 2015-06-19 01:36:20 +03:00
Eduard Burtescu
17e333d31b Move AST Repr impls to Debug impls in libsyntax. 2015-06-19 01:32:46 +03:00
Eduard Burtescu
af7daa0daf rustc: remove some unused UserString and Repr impls. 2015-06-19 01:32:45 +03:00
Eduard Burtescu
b510ea1487 Clean up unused argument/variable warnings. 2015-06-19 01:32:45 +03:00
Eduard Burtescu
a3727559c6 rustc: use the TLS type context in Repr and UserString. 2015-06-19 01:32:44 +03:00
Alex Crichton
57260262e7 rustc_trans: Disable landing pads on MSVC
Currently all these do is cause linker errors as they try to lower to GNU-like
exception handling, none of which exists with MSVC.
2015-06-18 15:24:36 -07:00
Eduard Burtescu
1f70a2e370 rustc: allow "lifting" T<'a> to T<'tcx> if the value is part of ty::ctxt<'tcx>. 2015-06-19 01:18:43 +03:00
Eduard Burtescu
d8952e7932 rustc: store the type context in TLS and allow safe access to it. 2015-06-19 01:18:43 +03:00
Eduard Burtescu
6061707348 rustc: leave only one free top-level function in ppaux, and private. 2015-06-19 01:18:43 +03:00
Eduard Burtescu
96ad4a4863 rustc: use Repr and UserString instead of ppaux::ty_to_string. 2015-06-19 01:18:43 +03:00
Eduard Burtescu
4e0cb86a5c rustc: reduce ppaux's public footprint to 5 functions. 2015-06-19 01:18:42 +03:00
Eduard Burtescu
bc383f6294 rustc: enforce stack discipline on ty::ctxt. 2015-06-19 01:18:42 +03:00
Eduard Burtescu
84b49b2d35 rustc_resolve: don't require redundant arguments to resolve_crate. 2015-06-19 01:18:42 +03:00
Eduard Burtescu
2e997ef2d4 rustc: remove ownership of tcx from trans' context. 2015-06-19 01:18:42 +03:00
Tshepang Lekhonkhobe
a8680deb7f README: improve description of Rust 2015-06-18 23:48:51 +02:00
bors
ff8fee180b Auto merge of #26147 - arielb1:assoc-trans, r=nikomatsakis
Fixes #25700

r? @nikomatsakis
2015-06-18 21:34:04 +00:00
Brian Anderson
ab0bb0956d Update RELEASES.md for 1.1 2015-06-18 13:59:30 -07:00
Ariel Ben-Yehuda
2bce9d0ff5 Fix #23589 2015-06-18 23:18:15 +03:00
Ariel Ben-Yehuda
21fd312043 Normalize associated types in closure signatures
Fixes #25700.
2015-06-18 23:04:57 +03:00