about summary refs log tree commit diff
path: root/src/comp/middle/fold.rs
AgeCommit message (Expand)AuthorLines
2010-12-20rustc: Add bind expressions to the ASTPatrick Walton-0/+25
2010-12-14Teach fold about objs.Graydon Hoare-0/+57
2010-12-12rustc: Add a definition ID to tag patternsPatrick Walton-5/+6
2010-12-10rustc: Resolve pattern bindingsPatrick Walton-1/+1
2010-12-10rustc: Add update_env_for_arm to fold; we'll need it to resolve pattern bindingsPatrick Walton-4/+15
2010-12-10rustc: Add def ids to pattern bindingsPatrick Walton-6/+7
2010-12-09First sketch of support for const items, not including most of trans.Graydon Hoare-0/+17
2010-12-08Implement binop= forms. Un-XFAIL bitwise.rs.Graydon Hoare-0/+19
2010-12-03rustc: Add def ids to variant arguments so we can turn them into function arg...Patrick Walton-3/+4
2010-12-03Parse layer and effect annotations.Graydon Hoare-4/+6
2010-12-02Fix fold bug on expr_unary.Graydon Hoare-1/+1
2010-12-01Add code to fail on non-exhaustive alt matching. Fix all cases this picked up...Graydon Hoare-0/+20
2010-12-01rustc: Annotate variants with their types. This may be useful for trans!Patrick Walton-1/+2
2010-11-30Tidy up structural types for rec, tup AST and typeck nodes.Graydon Hoare-31/+27
2010-11-30rustc: Add def ids to variantsPatrick Walton-1/+1
2010-11-29rustc: Implement the block syntax discussed on the mailing listPatrick Walton-1/+13
2010-11-29Teach fold about ty_rec.Graydon Hoare-0/+18
2010-11-29Change mutability into a type constructor.Graydon Hoare-6/+5
2010-11-29Change from bool to tag ast.mutability.Graydon Hoare-11/+13
2010-11-29Add ast.ty_mutable.Graydon Hoare-0/+12
2010-11-24rustc: Parse type-parametric typedefsPatrick Walton-6/+8
2010-11-24rustc: Parse type-parametric tagsPatrick Walton-4/+7
2010-11-24rustc: Parse type-parametric functionsPatrick Walton-6/+9
2010-11-24rustc: Add patterns to foldPatrick Walton-0/+83
2010-11-24rustc: Parse tag items. Currently segfaults in copy glue.Patrick Walton-0/+23
2010-11-10rustc: Add an annotation to function and type items so that the typechecker c...Patrick Walton-12/+12
2010-11-05rustc: Implement function typesPatrick Walton-1/+16
2010-11-05Move the option type to its own modulePatrick Walton-11/+11
2010-11-05Revert "Move the option type to its own module"Patrick Walton-2/+2
2010-11-05Move the option type to its own modulePatrick Walton-2/+2
2010-11-03rustc: Use an extensible annotation field instead of putting option[@ty] ever...Patrick Walton-48/+46
2010-11-03Support while and do-while loops in rustc.Graydon Hoare-0/+35
2010-10-22Implement check-exprs, un-xfail 5 rustc tests.Graydon Hoare-0/+14
2010-10-19Teach trans to allocate, initialize and load from local variables.Graydon Hoare-7/+7
2010-10-19Add a type slot to the ASTPatrick Walton-66/+66
2010-10-19Partial work on adding types to the ASTPatrick Walton-41/+58
2010-10-18Store items and decls in vecs to preserve input order, index externally. Impl...Graydon Hoare-75/+66
2010-10-18More work on resolving names in rustc. Basic expr_name lookup working on item...Graydon Hoare-27/+27
2010-10-18Expand rustc's fold to update env on block boundaries.Graydon Hoare-1/+14
2010-10-18Roll back the expr->lval change. We're now LL(1) again.Patrick Walton-69/+32
2010-10-15Encode and decode tag types in dwarf properly. Add list module to std. Shift ...Graydon Hoare-4/+4
2010-10-14Finish the fold drivers in fold.rs.Graydon Hoare-11/+109
2010-10-14Stop using bound refs (don't work; leak) and work around auto-deref vec-appen...Graydon Hoare-23/+33
2010-10-14rustc: Start work on lvalsPatrick Walton-41/+91
2010-10-12rustc: Add mutability to tuple literalsPatrick Walton-4/+12
2010-10-11rustc: Parse letsPatrick Walton-5/+5
2010-10-08rustc: Make functions output a type, not a slotPatrick Walton-4/+4
2010-10-07Add a little code to resolve, to check that the fold interface works.Graydon Hoare-2/+2
2010-10-07Revise folds to be much-less-polymorphic after some discussion; flesh out stm...Graydon Hoare-172/+309
2010-10-06Add the beginnings of an ast folder plus an empty module for resolve.Graydon Hoare-0/+514