about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Collapse)AuthorLines
2011-12-23Parse `iface` items and interface references in `impl` items.Marijn Haverbeke-61/+87
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-23Use the same type of record in ty::ty_fn and ty::methodMarijn Haverbeke-319/+222
Removes some more code duplication.
2011-12-23Make ast::ty_method hold a fn_decl, rather than duplicating its fieldsMarijn Haverbeke-6/+6
2011-12-22Register new snapshots, purge log_err and log_full in favour of log(...).Graydon Hoare-32/+32
2011-12-22Merge all 3 log syntaxes, tidy up residual misuses.Graydon Hoare-37/+33
2011-12-22Merge branch 'master' of github.com:graydon/rustGraydon Hoare-164/+156
2011-12-22Register snapshots and switch logging over to use of log_full or #error / ↵Graydon Hoare-93/+100
#debug.
2011-12-22Unify some data structures in syntax::ast that were doing the same thingMarijn Haverbeke-164/+156
As a preparation to removing some duplication in typeck.
2011-12-22Fix tag_var_cache to cache crate-external tagsMarijn Haverbeke-41/+26
And to not return a bogus mutable box.
2011-12-22Do not use == and != to compare ty::t valuesMarijn Haverbeke-27/+45
Issue #828
2011-12-22Add ty::new_ty_hash, clean up comparing of ty::t'sMarijn Haverbeke-48/+29
2011-12-22Remove trivial cast checkerMarijn Haverbeke-91/+8
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-21Switch log_expr to carrying a full expr:u32 for level. Add log_full variant ↵Graydon Hoare-17/+21
that parses that expr, prepare for snapshot.
2011-12-21valid cap clause for kind-ness tooNiko Matsakis-12/+24
2011-12-21upgrade kind checkNiko Matsakis-12/+52
2011-12-21update pprinter to understand ret type of block, add warningsNiko Matsakis-4/+14
2011-12-21Make { || ... } sugar for any type of closure, inferredNiko Matsakis-184/+289
2011-12-20Merge pull request #1350 from boggle/kmathGraydon Hoare-2/+1
removed math leftovers from std
2011-12-20Fix misleading comment about type_is_podMarijn Haverbeke-1/+2
2011-12-20removed math leftovers from stdStefan Plantikow-2/+1
2011-12-20rustc: Cleanup unused ext_mapHaitao Li-6/+3
2011-12-20rustc: Re-export the same name in different namespacesHaitao Li-12/+32
Issue #1115.
2011-12-20rustc: Implement re-export of renamed modulesHaitao Li-1/+19
Issue #1115
2011-12-19implement capture clauses (move, in particular) and integrateNiko Matsakis-53/+248
them into type state and so forth
2011-12-19integrate cap clause into type state, but not transNiko Matsakis-15/+38
2011-12-19resolve capture clausesNiko Matsakis-4/+15
2011-12-19when collecting free vars, track the span where it is used tooNiko Matsakis-14/+19
2011-12-19impl the proper partial order between fn typesNiko Matsakis-39/+34
2011-12-19Fix bug in type parameter handling for impl methodsMarijn Haverbeke-10/+27
The parameters of the impl weren't being combined in the right way with the parameters of the methods. The test worked only by accident. Issue #1227
2011-12-19Associate names with types introduced by itemsMarijn Haverbeke-157/+99
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-19Add type argument field to expr_pathMarijn Haverbeke-10/+39
This way, you can explicitly provide type parameters when calling a generic method. Issue #1227
2011-12-19Complain when multiple methods in the same scope match a callMarijn Haverbeke-5/+9
Issue #1227
2011-12-19Properly calculate base working dir for compile units.Josh Matthews-4/+9
2011-12-19Long lines.Josh Matthews-12/+17
2011-12-19Fix merge error and rebasing changes for debug information.Josh Matthews-4/+8
2011-12-18Remove source line generation craziness. Ensure incorrect subprogram caches ↵Josh Matthews-390/+172
are not conflated. Generate ast_map entries for object members and resource constructors and destructors.
2011-12-18Hide extended, unfinished debug information behind --xg compiler flag.Josh Matthews-8/+13
2011-12-18Clean up some names and factor out some common code.Josh Matthews-214/+164
2011-12-18Add support for vectors.Josh Matthews-63/+72
2011-12-18Add record debug information.Josh Matthews-22/+177
2011-12-18Fix up ast types after literal changes.Josh Matthews-12/+14
2011-12-18Add debug information for boxed and unique values.Josh Matthews-22/+163
2011-12-18Handle inferred basic types when generating debug information for types.Josh Matthews-1/+14
2011-12-18Add argument metadata and aborted return value code.Josh Matthews-9/+130
2011-12-18Use proper size and alignment of types for debuginfo.Josh Matthews-20/+23
2011-12-18Fix build error after rebasing.Josh Matthews-1/+1
2011-12-18Fix up local variable support so it actually works.Josh Matthews-22/+36
2011-12-18Fix up subprogram composite type nodes, and lexical block context nodes.Josh Matthews-9/+34
2011-12-18Fix LLVM assertions when lowering log statements.Josh Matthews-47/+87
2011-12-18Build fix.Josh Matthews-7/+10