Commit Graph

39255 Commits

Author SHA1 Message Date
Björn Steinbrink
b593c60c33 Add missing cast for retslots in case of "subtyping" due to trait bounds
We already do this for the function arguments, but miss it for the
retslot pointer, which can lead to LLVM assertions because the retslot
has the wrong type.

Fixes #22663
2015-02-22 12:47:27 +01:00
Simonas Kazlauskas
c9d0967383 Validate inline attribute arguments 2015-02-22 13:44:28 +02:00
James Miller
85defffea5 Improve borrowck error when a second move is due to a loop.
(Factoring of aatch CFG code, Part 5.)
2015-02-22 12:43:09 +01:00
James Miller
4bae133070 revise handling of match expressions so that arms branch to next arm.
Update the graphviz tests accordingly.

Fixes #22073. (Includes regression test for the issue.)

(Factoring of aatch CFG code, Part 4.)
2015-02-22 12:43:08 +01:00
James Miller
eb4961b961 Add support for mapping a single ast-node to multiple cfg-nodes.
This is necessary for e.g. supporting the cfgs we plan to construct
for match under aatch's plan.

(Factoring of aatch CFG code, Part 3.)
2015-02-22 12:43:03 +01:00
James Miller
a0b7bad00e remove the exit_map field, it is unnecessary.
(Factoring of aatch CFG code, Part 2.)
2015-02-22 12:01:59 +01:00
James Miller
97c1711894 Distinguish between AST and various Dummy nodes in CFG.
(Factoring of aatch CFG code, Part 1.)
2015-02-22 12:01:58 +01:00
bors
dcc6ce2c77 Auto merge of #22574 - huonw:remove-lame-statics, r=alexcirchton
Add a basic test that checks that the types catch the most glaring
errors that could occur.

cc #22444
2015-02-22 10:27:08 +00:00
bors
eb1b500a9a Auto merge of #22548 - Manishearth:rollup, r=Manishearth
I had most of these tested locally, why not  get them out of the way too?
2015-02-22 10:15:40 +00:00
Kevin Yap
24fa6be7c6 Miscellaneous README changes
- Various grammatical changes.
- Use triple-backtick syntax and sh highlighting for code blocks.
- Fix indentation of code block in step 2 of "Building on Windows".
- Use title case for "Getting Help" subheading.
2015-02-21 23:40:09 -08:00
Chris Wong
a7594f2d5b Disallow crate names with leading hyphens
Leading hyphens already don't work (#22661), so no code should break
from this change.

Closes #22661.
2015-02-22 20:05:05 +13:00
Alexander Chernyakhovsky
928341e188 Include tuple indexing in the Reference.
The Rust Reference should include the tuple indexing (using a number
as a field) notation; currently it is only available on
http://doc.rust-lang.org/std/primitive.tuple.html and not easily
searchable.
2015-02-22 00:25:12 -05:00
GlacJAY
c2a2b10507 shift int/uint tests around to avoid code repetition 2015-02-22 11:38:35 +08:00
Flavio Percoco
038d7e69e8 Fix test fallouts 2015-02-22 02:14:27 +01:00
Flavio Percoco
753db88914 allow negative impls for traits that have a default impl 2015-02-22 02:14:27 +01:00
Flavio Percoco
d021c55fb9 Restore the coherence visitor and fix fallouts 2015-02-22 02:14:27 +01:00
Niko Matsakis
3343e9c169 Add new test for impl precedence and remove unnecessary coherence rules that prevent the test from compiling. 2015-02-22 02:14:27 +01:00
Flavio Percoco
6d1844c806 Record default implementations in a separate step 2015-02-22 02:14:27 +01:00
Niko Matsakis
3ebc2abc6a tweak exhaustive matching of ty_infer 2015-02-22 02:14:27 +01:00
Niko Matsakis
640000a7c0 fix treatment of parameters and associated types 2015-02-22 02:14:27 +01:00
Flavio Percoco
1cc5a87c08 Don't report bug for IntVar and FloatVar 2015-02-22 02:14:27 +01:00
Flavio Percoco
38ef5ee48f Check constituent types are known 2015-02-22 02:14:27 +01:00
Niko Matsakis
e8df95d77f mark candidate set ambig for defaulted traits where self-type is not yet known 2015-02-22 02:14:27 +01:00
Niko Matsakis
24bdce4bbf some comments and nits 2015-02-22 02:14:26 +01:00
Flavio Percoco
64d33d892a check supertraits 2015-02-22 02:14:26 +01:00
Niko Matsakis
f7a75e0341 Add new test case showing that supertraits are not enough 2015-02-22 02:14:26 +01:00
Flavio Percoco
7213ef1a8f Test all the things 2015-02-22 02:14:26 +01:00
Flavio Percoco
0be1e430cf Fix error codes 2015-02-22 02:14:26 +01:00
Niko Matsakis
40fffc9e3f Some nits and cleanup 2015-02-22 02:14:26 +01:00
Flavio Percoco
d215411911 Make Send/Sync go through the default implementation path 2015-02-22 02:14:26 +01:00
Flavio Percoco
1e3ed61d82 Coherence for default trait implementations
- Don't allow multiple default trait implementations
- Allow positive trait implementations just for structs and enums when
  there's a default implementation for such trait.
2015-02-22 02:14:25 +01:00
Flavio Percoco
f0e9bd9099 address nits 2015-02-22 02:14:25 +01:00
Flavio Percoco
d38aab397e Rename DefTrait to DefaultImpl 2015-02-22 02:14:25 +01:00
Flavio Percoco
7e382132a5 Make default_trait_impls private and add accessor 2015-02-22 02:14:25 +01:00
Flavio Percoco
d523acb495 Use a Vec<N> instead of VecPerParamSpace<N> 2015-02-22 02:14:25 +01:00
Flavio Percoco
4b09209efe Ensure default trait impls hold 2015-02-22 02:14:25 +01:00
Flavio Percoco
58a8103df9 Fix rustdoc fallout 2015-02-22 02:14:25 +01:00
Flavio Percoco
7ae8889286 Add negative impls for Sync 2015-02-22 02:14:24 +01:00
Flavio Percoco
bd511f73be Add negative impls for *const T and *mut T 2015-02-22 02:14:24 +01:00
Flavio Percoco
ad3e748128 Don't allow default impls for traits outside their crate 2015-02-22 02:14:24 +01:00
Flavio Percoco
839a9de8d3 Prefer other implementations over default ones 2015-02-22 02:14:24 +01:00
Flavio Percoco
a962d47ef8 look for default trait candidates 2015-02-22 02:14:24 +01:00
Flavio Percoco
4148d5361a Fix fallout from libsyntax implementation 2015-02-22 02:14:24 +01:00
Flavio Percoco
6a2f16e136 Add support for default trait impls in libsyntax 2015-02-22 02:14:24 +01:00
Tiago Nobrega
aa6604ac68 Fix small typo in reference to code of conduct
Update from straight line to reference-style link.
2015-02-21 22:07:42 -02:00
Steven Fackler
b46e3eec7a Implement BufRead for Take 2015-02-21 14:59:29 -08:00
Richard Diamond
949d1fffca Add cfgs to liblibc for NaCl targets. 2015-02-21 16:52:58 -06:00
Brian Brooks
fc9fa1a563 Resolve barriers to changing column!() / line!() return type to u32 in #19284 . Address review comments in #21769 . 2015-02-21 17:26:29 -05:00
Manish Goregaokar
686648d155 Rollup merge of #22584 - alexcrichton:snapshots, r=Gankro 2015-02-22 02:16:12 +05:30
Manish Goregaokar
5d7b216f40 Rollup merge of #22568 - semarie:openbsd-rfc592, r=huonw
The commit 1860ee52 has break the openbsd build.
Repair it.
2015-02-22 02:04:49 +05:30