aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/fold.rs
Commit message (Collapse)AuthorAgeFilesLines
...
* Implement binop= forms. Un-XFAIL bitwise.rs.Graydon Hoare2010-12-081-0/+19
|
* rustc: Add def ids to variant arguments so we can turn them into function ↵Patrick Walton2010-12-031-3/+4
| | | | arguments later
* Parse layer and effect annotations.Graydon Hoare2010-12-031-4/+6
|
* Fix fold bug on expr_unary.Graydon Hoare2010-12-021-1/+1
|
* Add code to fail on non-exhaustive alt matching. Fix all cases this picked ↵Graydon Hoare2010-12-011-0/+20
| | | | up in rustc.
* rustc: Annotate variants with their types. This may be useful for trans!Patrick Walton2010-12-011-1/+2
|
* Tidy up structural types for rec, tup AST and typeck nodes.Graydon Hoare2010-11-301-31/+27
|
* rustc: Add def ids to variantsPatrick Walton2010-11-301-1/+1
|
* rustc: Implement the block syntax discussed on the mailing listPatrick Walton2010-11-291-1/+13
|
* Teach fold about ty_rec.Graydon Hoare2010-11-291-0/+18
|
* Change mutability into a type constructor.Graydon Hoare2010-11-291-6/+5
|
* Change from bool to tag ast.mutability.Graydon Hoare2010-11-291-11/+13
|
* Add ast.ty_mutable.Graydon Hoare2010-11-291-0/+12
|
* rustc: Parse type-parametric typedefsPatrick Walton2010-11-241-6/+8
|
* rustc: Parse type-parametric tagsPatrick Walton2010-11-241-4/+7
|
* rustc: Parse type-parametric functionsPatrick Walton2010-11-241-6/+9
|
* rustc: Add patterns to foldPatrick Walton2010-11-241-0/+83
|
* rustc: Parse tag items. Currently segfaults in copy glue.Patrick Walton2010-11-241-0/+23
|
* rustc: Add an annotation to function and type items so that the typechecker ↵Patrick Walton2010-11-101-12/+12
| | | | can store types with them
* rustc: Implement function typesPatrick Walton2010-11-051-1/+16
|
* Move the option type to its own modulePatrick Walton2010-11-051-11/+11
|
* Revert "Move the option type to its own module"Patrick Walton2010-11-051-2/+2
|
* Move the option type to its own modulePatrick Walton2010-11-051-2/+2
|
* rustc: Use an extensible annotation field instead of putting option[@ty] ↵Patrick Walton2010-11-031-48/+46
| | | | everywhere
* Support while and do-while loops in rustc.Graydon Hoare2010-11-031-0/+35
|
* Implement check-exprs, un-xfail 5 rustc tests.Graydon Hoare2010-10-221-0/+14
|
* Teach trans to allocate, initialize and load from local variables.Graydon Hoare2010-10-191-7/+7
|
* Add a type slot to the ASTPatrick Walton2010-10-191-66/+66
|
* Partial work on adding types to the ASTPatrick Walton2010-10-191-41/+58
|
* Store items and decls in vecs to preserve input order, index externally. ↵Graydon Hoare2010-10-181-75/+66
| | | | Implement block-local name lookup.
* More work on resolving names in rustc. Basic expr_name lookup working on ↵Graydon Hoare2010-10-181-27/+27
| | | | items and args.
* Expand rustc's fold to update env on block boundaries.Graydon Hoare2010-10-181-1/+14
|
* Roll back the expr->lval change. We're now LL(1) again.Patrick Walton2010-10-181-69/+32
|
* Encode and decode tag types in dwarf properly. Add list module to std. Shift ↵Graydon Hoare2010-10-151-4/+4
| | | | rustc to use std.util.option. Fix various dependent bugs. Closes #73.
* Finish the fold drivers in fold.rs.Graydon Hoare2010-10-141-11/+109
|
* Stop using bound refs (don't work; leak) and work around auto-deref ↵Graydon Hoare2010-10-141-23/+33
| | | | vec-append bug.
* rustc: Start work on lvalsPatrick Walton2010-10-141-41/+91
|
* rustc: Add mutability to tuple literalsPatrick Walton2010-10-121-4/+12
|
* rustc: Parse letsPatrick Walton2010-10-111-5/+5
|
* rustc: Make functions output a type, not a slotPatrick Walton2010-10-081-4/+4
|
* Add a little code to resolve, to check that the fold interface works.Graydon Hoare2010-10-071-2/+2
|
* Revise folds to be much-less-polymorphic after some discussion; flesh out ↵Graydon Hoare2010-10-071-172/+309
| | | | stmt and expr fold drivers.
* Add the beginnings of an ast folder plus an empty module for resolve.Graydon Hoare2010-10-061-0/+514