summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2012-01-03Make resolution of dictionaries on bounded params workMarijn Haverbeke-6/+11
2012-01-03Wire in resolution of param bounds for method callsMarijn Haverbeke-15/+39
2012-01-03More work on translating dictionary-passingMarijn Haverbeke-158/+381
2012-01-02Properly handle expression blocks in kind.rsMarijn Haverbeke-3/+10
2012-01-02Write out vtables for interface implementationsMarijn Haverbeke-13/+78
2012-01-02Drop two useless sub-passes from transMarijn Haverbeke-98/+59
2012-01-02Create a trans_impl moduleMarijn Haverbeke-16/+19
2012-01-02Key tcx.ty_param_bounds on node_ids, not def_idsMarijn Haverbeke-8/+10
2012-01-02Box arrays of parameter boundsMarijn Haverbeke-37/+36
2012-01-02Pass bounds to trans::type_of_fnMarijn Haverbeke-50/+65
2012-01-02More resolving and typechecking of bounded type parameters.Marijn Haverbeke-55/+210
2012-01-02Check that type parameter bounds are interface typesMarijn Haverbeke-33/+73
2012-01-02Make last-use pass properly handle closed-over variablesMarijn Haverbeke-3/+18
2012-01-01freebsd supportUser Jyyou-0/+2
2011-12-29split proto from fn_decl, as not all fn_decls know the proto.Niko Matsakis-105/+114
2011-12-29list: use predicate to enforce non-empty requirementLenny222-2/+6
2011-12-29Box ty_param_bounds_and_tyMarijn Haverbeke-21/+21
2011-12-28On second thought, re-land pull request #1385 with backquotes; easier to grep...Graydon Hoare-27/+27
2011-12-28Merge pull request #1385 from Lenny222/quotesGraydon Hoare-29/+32
2011-12-28Move the kind datatype to middle::tyMarijn Haverbeke-22/+53
2011-12-28Change representation of type params to handle interface boundsMarijn Haverbeke-96/+151
2011-12-28Made matching machine types equal to float, int, uint (fixes #1376)Stefan Plantikow-1/+22
2011-12-25Use singlequotes in the typechecker too, to distinguish code and EnglishLenny222-29/+32
2011-12-23Go back to a single visit_fn function in visit.rsMarijn Haverbeke-52/+54
2011-12-23Get rid of visit_fn_block in visit.rsMarijn Haverbeke-12/+1
2011-12-23Check impls methods against the type of their iface.Marijn Haverbeke-34/+77
2011-12-23Parse `iface` items and interface references in `impl` items.Marijn Haverbeke-61/+87
2011-12-23Use the same type of record in ty::ty_fn and ty::methodMarijn Haverbeke-319/+222
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 / #de...Graydon Hoare-93/+100
2011-12-22Unify some data structures in syntax::ast that were doing the same thingMarijn Haverbeke-164/+156
2011-12-22Fix tag_var_cache to cache crate-external tagsMarijn Haverbeke-41/+26
2011-12-22Do not use == and != to compare ty::t valuesMarijn Haverbeke-27/+45
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
2011-12-21Switch log_expr to carrying a full expr:u32 for level. Add log_full variant t...Graydon Hoare-17/+21
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
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
2011-12-20rustc: Implement re-export of renamed modulesHaitao Li-1/+19
2011-12-19implement capture clauses (move, in particular) and integrateNiko Matsakis-53/+248