Niko Matsakis
057c40d5bd
make ty_region give a useful span when it fails
2013-03-25 17:39:15 -04:00
Huon Wilson
89a7407c99
librustc: clean-up expr_repeat loop generation: use native integers
2013-03-24 14:19:31 -07:00
Huon Wilson
12df65470f
Kill some warnings: unused imports and old #[deny(..)]s.
2013-03-25 01:17:23 +11:00
Luqman Aden
441313fc0c
librustc: emit loop for expr_repeat instead of 2n instructions in [x, ..n]
2013-03-24 00:59:44 -07:00
bors
a56ec8c134
auto merge of #5515 : nikomatsakis/rust/issue-5514-flexible-coherence-rules, r=pcwalton
...
See issue #5514
r? @pcwalton
2013-03-23 12:36:53 -07:00
Niko Matsakis
a1b4afe067
Update coherence rules to be more flexible for impl Trait for Type
2013-03-23 09:49:47 -04:00
Daniel Micay
11ca2efce1
turn std::oldmap into a wrapper around LinearMap
2013-03-23 02:16:14 -04:00
Patrick Walton
6d81307a9b
librustc: Add explicit lifetime binders and new lifetime notation in core/std/syntax/rustc
2013-03-22 22:24:35 -07:00
Patrick Walton
85c9fc6f8f
librustc: Remove the const declaration form everywhere
2013-03-22 22:24:35 -07:00
bors
e9b077c0e9
auto merge of #5488 : pcwalton/rust/depure, r=pcwalton
2013-03-22 13:00:56 -07:00
Patrick Walton
e7c60c141b
librustc: Remove pure from libsyntax and librustc.
2013-03-22 12:57:27 -07:00
bors
b6f9aa1fd7
auto merge of #5483 : pcwalton/rust/static-syntax, r=graydon
...
r? @nikomatsakis
2013-03-22 11:21:48 -07:00
Patrick Walton
4634f7edae
librustc: Remove all uses of static from functions. rs=destatic
2013-03-22 10:27:39 -07:00
Alex Crichton
c0bbc6242f
Removing some unused imports
2013-03-22 11:49:45 -04:00
Andrew Paseltiner
9966eaaba4
rustc: replace uses of old deriving attribute with new one
2013-03-22 06:24:19 -04:00
bors
9584c60871
auto merge of #5484 : pcwalton/rust/snapshots, r=pcwalton
2013-03-22 00:00:50 -07:00
bors
d52408d46a
auto merge of #5480 : pcwalton/rust/at-const, r=pcwalton
...
r? @catamorphism
2013-03-21 20:39:51 -07:00
Patrick Walton
e7dbe6cd6f
librustc: Register new snapshots
2013-03-21 18:10:20 -07:00
Patrick Walton
94327d00c6
librustc: Replace the &static bound with 'static
2013-03-21 17:31:35 -07:00
Patrick Walton
d4fee24c7c
librustc: Forbid destructors from being attached to any structs that might contain non-Owned fields. r=nmatsakis
2013-03-21 17:31:34 -07:00
Marvin Löbel
0a47cd5ef1
Un-renamed trim and substr functions.
2013-03-21 23:06:05 +01:00
Marvin Löbel
ee2f3d9673
Switched over substr and trim functions in str to be non-allocating, temporary renamed them to better track use-sites
2013-03-21 23:06:04 +01:00
bors
6aa612a909
auto merge of #5461 : catamorphism/rust/flagless, r=nikomatsakis
...
r? @nikomatsakis The typechecker previously passed around a boolean return flag to
indicate whether it saw something with type _|_ (that is, something
it knows at compile-time will definitely diverge) and also had some
manual checks for the `ty_err` pseudo-type that represents a previous
type error. This was because the typing rules implemented by the
typechecker didn't properly propagate _|_ and ty_err. I fixed it.
This also required changing expected error messages in a few tests,
as now we're printing out fewer derived errors -- in fact, at this
point we should print out no derived errors, so report any that
you see (ones that include "[type error]") as bugs.
2013-03-21 11:46:00 -07:00
Tim Chevalier
f36f9fc91c
rustc: Comments only - explain the invariant about ty_err and ty_bot a little
2013-03-21 11:32:57 -07:00
Patrick Walton
5726fd4526
librustc: Forbid access to cross-crate private static methods
2013-03-21 09:47:17 -07:00
bors
56d288d0dc
auto merge of #5464 : luqmana/rust/const-pat, r=pcwalton
...
r? @pcwalton
2013-03-21 08:49:13 -07:00
bors
b8899138f8
auto merge of #5466 : Kimundi/rust/view-slice-rename, r=bstrie
...
A slice now always refers to something that returns an borrowed pointer, views don't exist anymore. If you want to have an explictit copy of a slice, use `to_owned()`
2013-03-21 07:06:54 -07:00
bors
0b4f2687ce
auto merge of #5470 : sanxiyn/rust/remove-oldmap-2, r=sanxiyn
...
Referencing #4986 .
2013-03-21 06:15:58 -07:00
Seo Sanghyeon
e2b9cddbbb
Switch impls_seen from oldmap
2013-03-21 22:11:30 +09:00
Marvin Löbel
9d9a209e9a
back-renamed slice_DBG_BRWD, slice_V_DBG_BRWD -> slice, slice_DBG_UNIQ -> slice_unique
2013-03-21 14:05:57 +01:00
Seo Sanghyeon
f0beb8c059
Switch CoherenceInfo from oldmap
2013-03-21 20:55:28 +09:00
Seo Sanghyeon
dad5c3029d
Time type checking passes separately
2013-03-21 19:28:58 +09:00
bors
3ac89737ca
auto merge of #5465 : sanxiyn/rust/remove-oldmap, r=sanxiyn
...
Improves resolve by 20% as measured by time-passes on rustc.
2013-03-21 01:21:51 -07:00
Seo Sanghyeon
f68f2282c1
Switch Module.import_resolutions from oldmap
2013-03-21 17:10:57 +09:00
Luqman Aden
2ed80c35e2
librustc: Fix path-qualified and cross-crate constants in match patterns.
2013-03-21 00:38:30 -07:00
Seo Sanghyeon
e84323e9b8
Switch Module.children from oldmap
2013-03-21 16:26:38 +09:00
Tim Chevalier
db00362313
Make typechecker compositional
...
The typechecker previously passed around a boolean return flag to
indicate whether it saw something with type _|_ (that is, something
it knows at compile-time will definitely diverge) and also had some
manual checks for the `ty_err` pseudo-type that represents a previous
type error. This was because the typing rules implemented by the
typechecker didn't properly propagate _|_ and ty_err. I fixed it.
This also required changing expected error messages in a few tests,
as now we're printing out fewer derived errors -- in fact, at this
point we should print out no derived errors, so report any that
you see (ones that include "[type error]") as bugs.
2013-03-20 19:44:38 -07:00
Marvin Löbel
a7d296f24c
renamed str::view -> slice_DBG_BRWD
...
renamed str::slice -> slice_DBG_UNIQ
changed vec slice method -> to_owned()
renamed vec view method -> slice_V_DBG_BRWD
2013-03-21 01:50:32 +01:00
bors
6f3d1686b2
auto merge of #5447 : erickt/rust/incoming, r=graydon
...
This normalizes the how we call reverse iteration functions. It also adds a char_len method, and a method to iterate backwards over a string.
2013-03-20 15:30:50 -07:00
bors
99ac243e7b
auto merge of #5445 : nikomatsakis/rust/issue-3678-refactor-trans_call, r=graydon
...
Refactor trans_call to separate out the translation of the arguments, environment, and return pointer. Towards #3678 . r? @brson
2013-03-20 13:15:58 -07:00
bors
0847d52a86
auto merge of #5450 : pcwalton/rust/warnings, r=graydon
...
r? @graydon
2013-03-20 11:52:09 -07:00
Patrick Walton
e72d011f68
librustc: Remove debug code and add scary warnings for rusti/rustpkg
2013-03-20 11:44:01 -07:00
Niko Matsakis
ad70c748c3
Apply explicit self transformation before we enter check_fn
2013-03-20 06:17:03 -04:00
Niko Matsakis
00f97b9fb0
Refactor the self-info so that the def-id is carried in ty_self()
...
and the fn_ctxt doesn't need any self_info field at all.
Step towards fixing `fn(&self)` (cc #4846 ) to have a distinct
lifetime.
2013-03-20 06:14:53 -04:00
bors
db4dc1ffe2
auto merge of #5443 : alexcrichton/rust/less-bad-copy, r=catamorphism
...
Removes a lot of instances of `/*bad*/ copy` throughout libsyntax/librustc. On the plus side, this shaves about 2s off of the runtime when compiling `librustc` with optimizations.
Ideally I would have run a profiler to figure out which copies are the most critical to remove, but in reality there was a liberal amount of `git grep`s along with some spot checking and removing the easy ones.
2013-03-20 00:09:47 -07:00
Alex Crichton
3fac7cce8f
rustc: Remove some bad copies throughout
2013-03-20 01:28:32 -04:00
bors
f3c879fdd8
auto merge of #5442 : pcwalton/rust/extern-block-restriction, r=pcwalton
...
r? @graydon
2013-03-19 21:57:49 -07:00
Erick Tryzelaar
fe74a1c9a2
core: rename vec::rev_each{,i} to vec::each{,i}_reverse
...
I'm making this change because the _reverse suffix is more commonly
used in libcore/libstd.
2013-03-19 20:24:04 -07:00
Patrick Walton
2e7ec80bcc
librustc: Enforce privacy for static methods.
...
This starts moving a bunch of privacy checks into the privacy
checking phase and out of resolve.
2013-03-19 13:40:48 -07:00
bors
e1888948c6
auto merge of #5426 : nikomatsakis/rust/issue-4846-lifetimes-in-expl-self, r=pcwalton
...
(this will be needed for snapshotting at some point)
r? @pcwalton
2013-03-19 12:43:14 -07:00
