Jared Roesch
1a268f4d1b
Rename TypeWithMutability to TypeAndMut
2015-07-10 18:27:06 -07:00
Jared Roesch
fe30f6251a
Remove pub use of TypeError in ty.rs
2015-07-10 15:40:30 -07:00
Jared Roesch
754aaea88c
Remove snake_case names from ty.rs
2015-07-08 12:38:19 -07:00
Niko Matsakis
909957793e
Add a boolean flag to ExistentialBounds tracking whether the
...
region-bound is expected to change in Rust 1.3, but don't use it for
anything in this commit. Note that this is not a "significant" part of
the type (it's not part of the formal model) so we have to normalize
this away or trans starts to get confused because two equal types wind
up with distinct LLVM types.
2015-07-03 19:42:35 -04:00
Eduard Burtescu
ad66c215aa
rustc: switch most remaining middle::ty functions to methods.
2015-06-26 07:34:57 +03:00
Eduard Burtescu
6db5126240
rustc: make ty::mk_* constructors into methods on ty::ctxt.
2015-06-26 07:34:56 +03:00
Eduard Burtescu
0b58fdf925
rustc: remove Repr and UserString.
2015-06-19 01:39:26 +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
Eli Friedman
33b7386d39
Split TyArray into TyArray and TySlice.
...
Arrays and slices are closely related, but not that closely; making the
separation more explicit is generally more clear.
2015-06-12 16:50:13 -07:00
Eli Friedman
3c69db4c3c
Cleanup: rename middle::ty::sty and its variants.
...
Use camel-case naming, and use names which actually make sense in modern Rust.
2015-06-12 11:07:16 -07:00
Joshua Landau
ca7418b846
Removed many pointless calls to *iter() and iter_mut()
2015-06-10 21:14:03 +01:00
Ariel Ben-Yehuda
bd1f73420a
Stop using Rc in TraitRef and TraitDef
...
The former stopped making sense when we started interning substs and made
TraitRef a 2-word copy type, and I'm moving the latter into an arena as
they live as long as the type context.
2015-04-30 15:09:11 +03:00
Tamir Duberstein
10f15e72e6
Negative case of len() -> is_empty()
...
`s/([^\(\s]+\.)len\(\) [(?:!=)>] 0/!$1is_empty()/g`
2015-04-14 20:26:03 -07:00
Niko Matsakis
c2dba8580a
Merge conflicts
2015-04-02 13:25:06 -04:00
Niko Matsakis
8403b82ddb
Port over type inference to using the new type relation stuff
2015-03-31 09:51:18 -04:00
