| Age | Commit message (Expand) | Author | Lines |
|---|
| 2011-08-02 | Handle _|_ - typed discriminants in alts correctly | Tim Chevalier | -1/+12 |
| 2011-08-02 | Handle conditionals on _|_ - typed values correctly | Tim Chevalier | -0/+12 |
| 2011-08-02 | Make _|_ type binopable | Tim Chevalier | -18/+20 |
| 2011-08-02 | Pretty-print fn constraints more correctish | Brian Anderson | -5/+27 |
| 2011-08-02 | Don't pp extra lines after block open when preserving whitespace. Closes #759 | Brian Anderson | -1/+15 |
| 2011-08-02 | In trans, don't assume both sides of a binop have the same type | Tim Chevalier | -18/+39 |
| 2011-08-02 | Refactor: a backwarding vtable can only have one kind of method. | Lindsey Kuper | -18/+7 |
| 2011-08-02 | Comment tweaks and re-flows. | Lindsey Kuper | -30/+24 |
| 2011-08-02 | Consolidate environment building/loading between closure types. | Michael Sullivan | -153/+102 |
| 2011-08-02 | Track the node_id of the function in trans_common::fn_ctxt. | Michael Sullivan | -31/+25 |
| 2011-08-02 | Use GEPi a bunch. | Michael Sullivan | -28/+14 |
| 2011-08-02 | Allow patterns of the form `[a, b, c ...] to be matched and transcribed. | Paul Stansifer | -62/+80 |
| 2011-08-02 | Use or-patterns in trans::trans_compare, eliminating a FIXME | Tim Chevalier | -14/+7 |
| 2011-08-02 | Use ioivec::read_whole_file_str in a few places | Brian Anderson | -4/+2 |
| 2011-08-02 | Add a --no-trans command line option | Brian Anderson | -5/+16 |
| 2011-08-02 | Compiler accepts input from stdin when source file is called "-" | Brian Anderson | -17/+66 |
| 2011-08-02 | Assign collection element ty to loop local tvar when checking loops | Marijn Haverbeke | -2/+5 |
| 2011-08-02 | Do not try to save block result when the block is an iter body | Marijn Haverbeke | -1/+2 |
| 2011-08-02 | Be a little more clever about picking columns to match on in trans_alt | Marijn Haverbeke | -4/+34 |
| 2011-08-02 | Copy locals created by destructuring on the content of a box | Marijn Haverbeke | -8/+19 |
| 2011-08-02 | Move ppaux::ty_to_str to new record syntax | Marijn Haverbeke | -2/+2 |
| 2011-08-02 | Improve handling of bottom type in alt arms | Marijn Haverbeke | -0/+1 |
| 2011-08-01 | Handle bang functions correctly in typestate | Tim Chevalier | -59/+113 |
| 2011-08-01 | Fix incorrect uses of str::buf() | Paul Stansifer | -11/+18 |
| 2011-08-01 | Fix closures over dynamically-sized polymorphic values. | Michael Sullivan | -17/+44 |
| 2011-08-01 | Fix closures over known-size polymorphic values. | Michael Sullivan | -15/+15 |
| 2011-08-01 | Add a GEPi function that wraps GEP with integer arguments. | Michael Sullivan | -12/+22 |
| 2011-08-01 | Add check for irrefutable patterns in destructuring locals | Marijn Haverbeke | -4/+35 |
| 2011-08-01 | Partially implement destructuring locals | Marijn Haverbeke | -249/+307 |
| 2011-07-31 | Get rid of walk.rs | Marijn Haverbeke | -463/+0 |
| 2011-07-31 | Remove unused imports | Tim Chevalier | -2/+0 |
| 2011-07-31 | Change bitvectors::relax_precond_block to use visit instead of walk | Tim Chevalier | -24/+28 |
| 2011-07-29 | Fix bug in typechecker counting occurrences of typarams in instantiation rath... | Graydon Hoare | -6/+6 |
| 2011-07-29 | Enable kind checking on typarams, fix kind constraints in library and comp. | Graydon Hoare | -15/+38 |
| 2011-07-29 | Switch the heap build and load environment functions to use GEP_tup_like. | Michael Sullivan | -25/+29 |
| 2011-07-29 | Initial trans of lambdas. Doesn't work with polymorphism yet. | Michael Sullivan | -8/+61 |
| 2011-07-29 | Refactor typestate code involving stmt_decls | Tim Chevalier | -94/+129 |
| 2011-07-29 | Encode, decode, and thread through typechecking all the param kinds, not just... | Graydon Hoare | -104/+143 |
| 2011-07-29 | Do some cleanup in load_environment. | Michael Sullivan | -30/+23 |
| 2011-07-29 | Add in some missing cases for typestate with closures. | Michael Sullivan | -2/+5 |
| 2011-07-29 | Don't confuse backwards and forwards. | Lindsey Kuper | -3/+7 |
| 2011-07-29 | Comments and cleanup, in preparation for more work on issue #702. | Lindsey Kuper | -19/+56 |
| 2011-07-29 | Get rid of an obsolete comment now that obj dtors are gone. | Lindsey Kuper | -3/+0 |
| 2011-07-29 | Disallow overloading a method with one of different type. Closes #703. | Lindsey Kuper | -7/+12 |
| 2011-07-29 | Turn on kind propagation for typarams. Annotate a bunch of typarams in rustc ... | Graydon Hoare | -5/+2 |
| 2011-07-29 | Remove unreachable statements | Marijn Haverbeke | -33/+25 |
| 2011-07-29 | Track failures in typeck, assign proper type to failing blocks | Marijn Haverbeke | -90/+126 |
| 2011-07-29 | Typechecking bugfix for anon objs. Removes duplicate methods in outer | Lindsey Kuper | -0/+20 |
| 2011-07-29 | Formatting tweaks. | Lindsey Kuper | -8/+5 |
| 2011-07-29 | Parse anonymous objs in statement position | Marijn Haverbeke | -32/+21 |
