| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-01-05 | Clean up some FIXMEs related to impls | Marijn Haverbeke | -4/+2 | |
| 2012-01-05 | Get external interfaces / impls working | Marijn Haverbeke | -2/+3 | |
| Issue #1227 | ||||
| 2012-01-04 | Use the right types for methods in trans_impl | Marijn Haverbeke | -6/+1 | |
| This prevents misalignment between function and argument types in corner cases. | ||||
| 2012-01-03 | Add missing ty_constr cases to trans::type_of_inner and ty::fold_ty. | Tim Chevalier | -0/+5 | |
| Closes #970 | ||||
| 2012-01-03 | More work on translating dictionary-passing | Marijn Haverbeke | -42/+76 | |
| Reached a point where simple uses of interfaces without bounds work. Issue #1227 | ||||
| 2012-01-02 | Write out vtables for interface implementations | Marijn Haverbeke | -11/+26 | |
| Issue #1227 | ||||
| 2012-01-02 | Drop two useless sub-passes from trans | Marijn Haverbeke | -96/+55 | |
| Neither collect_tag_ctors nor the second pass in collect_items needed to be separate passes. Also remove obsolete obj_methods table kludge. | ||||
| 2012-01-02 | Create a trans_impl module | Marijn Haverbeke | -16/+1 | |
| 2012-01-02 | Key tcx.ty_param_bounds on node_ids, not def_ids | Marijn Haverbeke | -1/+1 | |
| This makes it clearer that it's only valid for local nodes. | ||||
| 2012-01-02 | Box arrays of parameter bounds | Marijn Haverbeke | -3/+3 | |
| 2012-01-02 | Pass bounds to trans::type_of_fn | Marijn Haverbeke | -25/+38 | |
| 2012-01-02 | More resolving and typechecking of bounded type parameters. | Marijn Haverbeke | -1/+4 | |
| Extern interfaces still don't get recognized. Issue #1227 | ||||
| 2012-01-02 | Check that type parameter bounds are interface types | Marijn Haverbeke | -1/+2 | |
| Issue #1227 | ||||
| 2012-01-01 | freebsd support | User Jyyou | -0/+2 | |
| 2011-12-29 | split proto from fn_decl, as not all fn_decls know the proto. | Niko Matsakis | -3/+5 | |
| this will address the (crashing) new test added. | ||||
| 2011-12-29 | Box ty_param_bounds_and_ty | Marijn Haverbeke | -1/+1 | |
| It contains a vector, which shouldn't be copied all the time. | ||||
| 2011-12-28 | Change representation of type params to handle interface bounds | Marijn Haverbeke | -9/+7 | |
| Issue #1227 | ||||
| 2011-12-23 | Parse `iface` items and interface references in `impl` items. | Marijn Haverbeke | -2/+2 | |
| The (temporary) syntax is iface seq<T> { fn len() -> uint; fn iter(f: block(T)); } // The 'blah<T>' can be left of to default the name of the // impl to seq<T>. The 'of seq<T>' can be left off when // not implementing a named interface. impl blah<T> of seq<T> for [T] { fn len() -> uint { vec::len(self) } fn iter(f: block(T)) { for x in self { f(x); } } } | ||||
| 2011-12-23 | Use the same type of record in ty::ty_fn and ty::method | Marijn Haverbeke | -11/+11 | |
| Removes some more code duplication. | ||||
| 2011-12-22 | Register new snapshots, purge log_err and log_full in favour of log(...). | Graydon Hoare | -2/+2 | |
| 2011-12-22 | Merge all 3 log syntaxes, tidy up residual misuses. | Graydon Hoare | -18/+16 | |
| 2011-12-22 | Merge branch 'master' of github.com:graydon/rust | Graydon Hoare | -32/+34 | |
| 2011-12-22 | Register snapshots and switch logging over to use of log_full or #error / ↵ | Graydon Hoare | -9/+9 | |
| #debug. | ||||
| 2011-12-22 | Unify some data structures in syntax::ast that were doing the same thing | Marijn Haverbeke | -32/+34 | |
| As a preparation to removing some duplication in typeck. | ||||
| 2011-12-22 | Add ty::new_ty_hash, clean up comparing of ty::t's | Marijn Haverbeke | -13/+6 | |
| 2011-12-22 | Remove trivial cast checker | Marijn Haverbeke | -19/+3 | |
| I consider the added complexity not justified at this point, and it interacts badly with the patches for issue #828. Feel free to discuss. | ||||
| 2011-12-21 | Switch log_expr to carrying a full expr:u32 for level. Add log_full variant ↵ | Graydon Hoare | -10/+14 | |
| that parses that expr, prepare for snapshot. | ||||
| 2011-12-21 | Make { || ... } sugar for any type of closure, inferred | Niko Matsakis | -0/+13 | |
| 2011-12-19 | implement capture clauses (move, in particular) and integrate | Niko Matsakis | -4/+9 | |
| them into type state and so forth | ||||
| 2011-12-19 | integrate cap clause into type state, but not trans | Niko Matsakis | -1/+1 | |
| 2011-12-19 | Associate names with types introduced by items | Marijn Haverbeke | -9/+4 | |
| Issue #828 This is not a full solution yet. To really get sane error messages, we'll also have to guess the name to apply to literals, which seems non-trivial. | ||||
| 2011-12-19 | Add type argument field to expr_path | Marijn Haverbeke | -3/+3 | |
| This way, you can explicitly provide type parameters when calling a generic method. Issue #1227 | ||||
| 2011-12-19 | Long lines. | Josh Matthews | -2/+3 | |
| 2011-12-18 | Remove source line generation craziness. Ensure incorrect subprogram caches ↵ | Josh Matthews | -33/+9 | |
| are not conflated. Generate ast_map entries for object members and resource constructors and destructors. | ||||
| 2011-12-18 | Hide extended, unfinished debug information behind --xg compiler flag. | Josh Matthews | -5/+5 | |
| 2011-12-18 | Clean up some names and factor out some common code. | Josh Matthews | -4/+3 | |
| 2011-12-18 | Add record debug information. | Josh Matthews | -1/+7 | |
| 2011-12-18 | Add argument metadata and aborted return value code. | Josh Matthews | -2/+12 | |
| 2011-12-18 | Fix up local variable support so it actually works. | Josh Matthews | -12/+22 | |
| 2011-12-18 | Fix LLVM assertions when lowering log statements. | Josh Matthews | -9/+15 | |
| 2011-12-18 | Build fix. | Josh Matthews | -3/+3 | |
| 2011-12-18 | Add debug info for local vars, basic fundamental types, and lexical blocks, ↵ | Josh Matthews | -5/+36 | |
| along with source line information generation for individual instructions. | ||||
| 2011-12-18 | Generate basic debug info for files, functions and compile units. | Josh Matthews | -2/+9 | |
| 2011-12-18 | Only look for a matching method when normal field access fails | Marijn Haverbeke | -2/+2 | |
| 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 | extend with ty_send_type and ty_opaque_closure | Niko Matsakis | -1/+6 | |
| 2011-12-16 | reorder args to the various vec, option fns so blk comes last | Niko Matsakis | -3/+3 | |
| 2011-12-16 | Make polymorphic impl methods work | Marijn Haverbeke | -10/+16 | |
| Something will still have to be done to the AST to make it possible to say `x.foo::<int>()`, since currently field access never allows type parameters. Issue #1227 | ||||
| 2011-12-16 | Make uses of self in impls compile | Marijn Haverbeke | -36/+41 | |
| 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 | -33/+62 | |
| Resolution is still dumb, and no self support yet. | ||||
| 2011-12-16 | Get a very primitive form of typechecking/resolving to work for impls | Marijn Haverbeke | -1/+4 | |
| No conflict resolution or polymorphism yet. Issue #1227 | ||||
