Niko Matsakis
e186accbc4
Fix rebase conflicts
2014-12-30 12:09:21 -05:00
Michael Woerister
91a0e18866
debuginfo: Add a rust-gdb shell script that will start GDB with Rust pretty printers enabled.
2014-12-30 17:26:13 +01:00
Florian Hahn
1e278c1cd1
Update src/grammar/README.md
2014-12-30 16:49:27 +01:00
Florian Hahn
f066acf645
src/grammar/check.sh now prints test summary
2014-12-30 16:46:07 +01:00
Niko Matsakis
919975d0a5
Address nits.
2014-12-30 09:36:23 -05:00
Niko Matsakis
518ec1259a
Normalize associated types in bounds too. Also, make the workaround
...
for lack of impl-trait-for-trait just a bit more targeted (don't
substitute err, just drop the troublesome bound for now) -- otherwise
substituting false types leads us into trouble when we normalize etc.
2014-12-30 09:36:23 -05:00
Niko Matsakis
cdd5ff842d
Add a test case using associated types cross crate. Fixes #18048 .
2014-12-30 09:36:23 -05:00
Niko Matsakis
208d32d192
Encode the TypeScheme for associated types
2014-12-30 09:36:23 -05:00
Niko Matsakis
de8e0ae22c
Remove the AssocSpace
2014-12-30 09:36:23 -05:00
Niko Matsakis
42e645ca9a
Patch more metadata decoding problems.
2014-12-30 09:36:23 -05:00
Niko Matsakis
30e8ab0182
Encode the name for associated items on a trait. Fixes #18048 .
2014-12-30 09:36:23 -05:00
Niko Matsakis
c1bc150bc4
Correct licenses.
2014-12-30 09:36:23 -05:00
Niko Matsakis
7ed0e23209
Resolve merge conflicts. This changes should really be integrated back to their respective
...
commits but oh dear what a pain.
2014-12-30 09:36:23 -05:00
Niko Matsakis
05eb2eeb61
Adjust tests for inferenceGet more conservative about inference for now. Seems better to err on the side of being more correct rather than less. Fix a bug in typing index expressions that was exposed as a result, and add one type annotation that is not required. Delete some random tests that were relying on old behavior and don't seem to add anything anymore.
2014-12-30 09:36:23 -05:00
Niko Matsakis
c197911c60
Add a FIXME relating to these type-testing traits
2014-12-30 09:36:23 -05:00
Niko Matsakis
f1c041a54d
Patch long line.
2014-12-30 09:36:23 -05:00
Niko Matsakis
00cf176a5e
Add FIXMEs relating to caching of projection results
2014-12-30 09:36:22 -05:00
Niko Matsakis
97d8a668f6
Add a FIXME relating to regions and projection types
2014-12-30 09:36:22 -05:00
Niko Matsakis
d62d4953d2
Add a FIXME to patch up rustdoc
2014-12-30 09:36:22 -05:00
Niko Matsakis
58467fab0f
File a FIXME relating to using where clauses, not bounds
2014-12-30 09:36:22 -05:00
Niko Matsakis
df967306e3
Add a FIXME relating to Copy<T> not being checked
2014-12-30 09:36:22 -05:00
Niko Matsakis
adca15a151
Add a FIXME relating to using ast::Name
2014-12-30 09:36:22 -05:00
Niko Matsakis
7836c72eba
Patch tests and create new tests related to projection from a HRTB.
2014-12-30 09:36:22 -05:00
Niko Matsakis
3657ae13f5
Don't normalize associated types when in region binders, wait until we instantiate
...
them. Also fix some assertions and handling of builtin bounds.
2014-12-30 09:36:22 -05:00
Niko Matsakis
2bbd2f9cea
Remove the def-id from type parameters. Having this def-id was bad for several reasons:
...
1. Produced more unique types than is necessary. This increases memory consumption.
2. Linking the type parameter to its definition *seems* like a good idea, but it
encourages reliance on the bounds listing.
3. It made pretty-printing harder and in particular was causing bad error messages
when errors occurred before the `TypeParameterDef` entries were fully stored.
2014-12-30 09:36:22 -05:00
Niko Matsakis
964a5fabb7
Update error messages in various compile-fail tests
2014-12-30 09:36:22 -05:00
Niko Matsakis
b7c6e317b0
Make projected types select out of the trait bounds.
2014-12-30 09:36:22 -05:00
Niko Matsakis
de806bc057
Teach project
to project associated types out of object types.
2014-12-30 09:36:22 -05:00
Niko Matsakis
5b53b11ad9
Allow object safe traits to access associated types.
2014-12-30 09:36:21 -05:00
Niko Matsakis
becbd81aaa
Integrate projection bounds to ExistentialBounds
but do not use them for anything.
2014-12-30 09:36:21 -05:00
Niko Matsakis
82787c2252
Convert to use Rc<TraitRef>
in object types (finally!).
2014-12-30 09:36:21 -05:00
Niko Matsakis
4404592f36
Implement associated type projection and normalization.
2014-12-30 09:36:21 -05:00
Niko Matsakis
f95bb55a1c
Move the scalar types out of static data so that we can put Rc
into sty.
2014-12-30 09:34:38 -05:00
Niko Matsakis
771dd54ea6
Rename Polytype
to TypeScheme
to differentiate type schemes (early bound) from higher-ranked things (late-bound), which also use the Poly
prefix.
2014-12-30 09:32:42 -05:00
Niko Matsakis
986f654f3b
Rename trait_ref
field to predicate
, since trait_ref
is really
...
overly general, and the value is always *some* sort of predicate.
2014-12-30 09:32:42 -05:00
Niko Matsakis
c5edd22646
Rewrite the intrinsicck to take the parameter environment into account. Also fixes #20116 .
2014-12-30 09:32:42 -05:00
Niko Matsakis
4946e1a463
Move the TypeContents-based "Sized" queries into trans, where the full
...
types are always known and hence the ParameterEnvironment is not
necessary. For other `Sized` queries, use the trait infrastructure
just like `Copy`.
2014-12-30 09:32:42 -05:00
Niko Matsakis
0b64e5796b
Make ExprUseVisitor<..> use inherited parameter environments.
2014-12-30 09:32:42 -05:00
Niko Matsakis
c08d004545
Refactor various queries out of ty
and into trans/common
2014-12-30 09:32:42 -05:00
JONNALAGADDA Srinivas
42ae6bb24d
Minor change to wording in Variables and Bindings
...
In the context of explaining the declaration of mutable bindings, using 'intended' probably conveys the meaning better than 'cared'.
2014-12-30 19:23:16 +05:30
Florian Hahn
b41a24f314
Handle function calls to integers in model lexer correctly
...
closes #15877
2014-12-30 14:03:48 +01:00
Valerii Hiora
c3ff80399b
iOS: fallout of Sync oibit
2014-12-30 14:57:03 +02:00
bors
023dfb0c89
auto merge of #19941 : alexcrichton/rust/issue-19767, r=brson
...
This commit adds support for the compiler to distinguish between different forms
of lookup paths in the compiler itself. Issue #19767 has some background on this
topic, as well as some sample bugs which can occur if these lookup paths are not
separated.
This commits extends the existing command line flag `-L` with the same trailing
syntax as the `-l` flag. Each argument to `-L` can now have a trailing `:all`,
`:native`, `:crate`, or `:dependency`. This suffix indicates what form of lookup
path the compiler should add the argument to. The `dependency` lookup path is
used when looking up crate dependencies, the `crate` lookup path is used when
looking for immediate dependencies (`extern crate` statements), and the `native`
lookup path is used for probing for native libraries to insert into rlibs. Paths
with `all` are used for all of these purposes (the default).
The default compiler lookup path (the rustlib libdir) is by default added to all
of these paths. Additionally, the `RUST_PATH` lookup path is added to all of
these paths.
Closes #19767
2014-12-30 11:11:07 +00:00
Huon Wilson
b7832ed0b4
Implement Clone
for a large number of iterators & other adaptors.
...
It's useful to be able to save state.
2014-12-30 21:01:36 +11:00
Rohit Joshi
8fb25ab5b0
PR#20326 : Issue#20322: Adding unsafe Send and Sync traits implementation for RingBuf
2014-12-30 04:20:24 -05:00
bors
d2368c3c11
auto merge of #20320 : alexcrichton/rust/rollup, r=alexcrichton
2014-12-30 08:02:39 +00:00
Alex Crichton
470ae101d6
Test fixes and rebase conflicts
2014-12-29 23:55:49 -08:00
Luqman Aden
82ebd2bc20
librustc_trans: Remove some dead code now that procs are gone.
2014-12-30 01:45:22 -05:00
Nick Cameron
69716ef607
Tests
2014-12-30 19:06:18 +13:00
Nick Cameron
cd31e6ff39
Forbid static methods in object safe traits
...
Closes #19949 and rust-lang/rfcs#428
[breaking change]
If you have traits used with objects with static methods, you'll need to move
the static methods to a different trait.
2014-12-30 19:05:48 +13:00