| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2011-12-18 | Only look for a matching method when normal field access fails | Marijn Haverbeke | -10/+8 | |
| We should probalby warn when defining a method foo on {foo: int} etc. This should reduce the amount of useless typevars that are allocated. Issue #1227 | ||||
| 2011-12-16 | reorder args to the various vec, option fns so blk comes last | Niko Matsakis | -1/+1 | |
| 2011-12-16 | Make uses of self in impls compile | Marijn Haverbeke | -0/+1 | |
| Get rid of expr_self_call, introduces def_self. `self` is now, syntactically, simply a variable. A method implicitly brings a `self` binding into scope. Issue #1227 | ||||
| 2011-12-16 | Get very simple impl method calls to compile | Marijn Haverbeke | -5/+8 | |
| Resolution is still dumb, and no self support yet. | ||||
| 2011-12-16 | Parse and resolve implementations. | Marijn Haverbeke | -14/+6 | |
| Issue #1227 | ||||
| 2011-12-15 | rustc: Box tag variants to avoid copies | Brian Anderson | -4/+4 | |
| 2011-12-15 | rustc: Box the vectors returned from ty::tag_variants | Brian Anderson | -10/+12 | |
| 2011-12-15 | rustc: Cache results of ty::tag_variants | Brian Anderson | -5/+16 | |
| 2011-12-15 | massive refactor of how closures work | Niko Matsakis | -34/+60 | |
| 2011-12-14 | push changes through to get things compiling, if not running. | Niko Matsakis | -17/+11 | |
| 2011-12-14 | define ty and update parser for sendable lambdas | Niko Matsakis | -0/+1 | |
| 2011-12-13 | Copy first batch of material from libstd to libcore. | Graydon Hoare | -8/+8 | |
| 2011-12-07 | Remove stmt_crate_directive, it's vestigial and confusing. | Graydon Hoare | -4/+0 | |
| 2011-12-07 | Change literal representation to not truncate | Marijn Haverbeke | -177/+94 | |
| Also shuffles around the organization of numeric literals and types, separating by int/uint/float instead of machine-vs-non-machine types. This simplifies some code. Closes #974 Closes #1252 | ||||
| 2011-12-07 | repair more hash functions | Niko Matsakis | -15/+15 | |
| 2011-12-02 | parse: typeck: enabling trivial casts of tail-call return values | Stefan Plantikow | -6/+3 | |
| introduces ctypes::m_* machine type aliases for int, uint, float depending on cfg(target_arch) that are used in tests | ||||
| 2011-12-02 | ty: trans: added support for dropping trivial casts | Stefan Plantikow | -0/+10 | |
| 2011-12-02 | ty: added type comparison that subs prim types with targ_cfg machine types | Stefan Plantikow | -0/+37 | |
| 2011-12-02 | Allow literal patterns to contain arbitrary literal expressions | Marijn Haverbeke | -0/+5 | |
| This removes the need for the unary minus hacks, and allows some other neat things like matching on 1 >> 4. Issue #954 | ||||
| 2011-11-30 | Box ast::path values | Marijn Haverbeke | -1/+1 | |
| It seems inefficient to copy them around. Let's measure whether that's actually > the case | ||||
| 2011-11-23 | Make type_kind properly recognize ty_ptr as sendable | Marijn Haverbeke | -3/+3 | |
| 2011-11-23 | Rollback return-by-reference | Marijn Haverbeke | -8/+0 | |
| It's proving too inflexible, so I'm ripping out the extra complexity in the hope that regions will, at some point, provide something similar. Closes #918 | ||||
| 2011-11-22 | Make type_needs_drop accurate, get rid of type_has_pointers | Marijn Haverbeke | -40/+20 | |
| Closes #1209 | ||||
| 2011-11-22 | Only warn about unreachable range patterns when appropriate | Marijn Haverbeke | -1/+3 | |
| Also simplifies the literal-munging, and moves it into ast_util Closes #1170 | ||||
| 2011-11-21 | rustc: Remove abi from ast::native_mod | Haitao Li | -31/+21 | |
| 2011-11-18 | Properly check kinds in instantiation of generics | Marijn Haverbeke | -1/+1 | |
| Issue #1177 | ||||
| 2011-11-18 | Prevent alias pass from inserting implicit copies for noncopyable types | Marijn Haverbeke | -4/+4 | |
| Issue #1177 | ||||
| 2011-11-18 | Overhaul the kind-checking pass | Marijn Haverbeke | -64/+60 | |
| Not really useful yet because missing last-use-of-local optimization. Also: instantiation of type parameters needs to be checked. Issue #1177 | ||||
| 2011-11-18 | Make tag, resource and object constructors take their arguments by copy | Marijn Haverbeke | -6/+0 | |
| Doing something like some([1, 2, 3]) will now no longer create a temporary copy of the vector. It will also be easier for the kind checker to see that putting a resource into a data-structure constructor is safe. | ||||
| 2011-11-18 | Preparation for kind system overhaul | Marijn Haverbeke | -11/+11 | |
| This goes before a snapshot, so that subsequenct patches can make the transition without breaking the build. Disables kind checking pass, makes parser accept both new and old-style kind annotation. Issue #1177 | ||||
| 2011-11-17 | remove compile-command from local variable blocks | Niko Matsakis | -1/+0 | |
| 2011-11-13 | Make various binops not typecheck for unsafe pointers. Closes #1173 | Brian Anderson | -1/+0 | |
| 2011-11-10 | Cleanup unused imports | Haitao Li | -2/+0 | |
| 2011-11-02 | Make it possible to cast unsafe pointers with the 'as' operator | Marijn Haverbeke | -0/+8 | |
| 2011-10-28 | Make shared kind the default only for generic functions | Marijn Haverbeke | -1/+1 | |
| You almost never want a function with pinned type params. For types, objects, resources, and tags, pinned types are actually often more sane. For most of these, shared rarely makes sense. Only tricky case is objs -- you'll have to think about the kinds you want there. Issue #1076 | ||||
| 2011-10-27 | Remove uint::max/min in favor if math::max/min | Matt Brubeck | -1/+2 | |
| 2011-10-21 | Drop support for iter, put, and for-each | Marijn Haverbeke | -9/+1 | |
| Closes #1056 | ||||
| 2011-10-20 | Merge ast::proto_shared and ast::proto_closure | Brian Anderson | -4/+6 | |
| Now they are both just proto_shared and proto_shared takes an argument indicating that it is sugared as 'lambda' | ||||
| 2011-10-20 | Rename ast::proto_fn to ast::proto_shared | Brian Anderson | -3/+3 | |
| 2011-10-20 | Make fn denote a bare function. Convert fn to fn@ as needed | Brian Anderson | -6/+7 | |
| 2011-10-20 | Tweak typecheck to enforce covariance on higher-order function arguments | Brian Anderson | -1/+4 | |
| 2011-10-20 | Give subtype relationships to function types | Brian Anderson | -2/+57 | |
| 2011-10-18 | Immutable and mutable? are covariant on their inner types | Brian Anderson | -3/+10 | |
| Whereas [mutable T] is invariant with respect to T, [T] and [mutable? T] are covariant with respect to T. | ||||
| 2011-10-17 | Enforce variance rules for mutable types | Brian Anderson | -40/+48 | |
| 2011-10-17 | Add a variance transform for calculation of recursive variance | Brian Anderson | -14/+53 | |
| 2011-10-17 | Introduce covariance, contravariance and invariance to the type unifier | Brian Anderson | -22/+47 | |
| This will be used to resolve some problems with mutable? covariance and also to implement function subtyping | ||||
| 2011-10-17 | Don't unify from mutable? to immutable | Brian Anderson | -1/+0 | |
| Immutable is supposed to be a subtype of mutable-huh. | ||||
| 2011-10-17 | Split record_var_binding into methods for expected and actual | Brian Anderson | -4/+26 | |
| This allows unify to maintain the same subtype relationship between expected and actual throughout unify, which we are going to need for mutable? and for function types. | ||||
| 2011-10-12 | make native functions markable as unsafe and incorporate that | Niko Matsakis | -1/+1 | |
| into the type check | ||||
| 2011-10-10 | Make vectors and strings immediates again | Marijn Haverbeke | -1/+1 | |
| There's no good reason to force them to be spilled anymore. Some pieces of trans become more elegant this way, and less stack allocs and load/stores are needed. Issue #1021 | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |